- **Fixed:**
  ``coqdoc`` now reports the location of a mismatched opening ``[[`` instead of
  throwing an uninformative exception.
  (`#12037 <https://github.com/coq/coq/pull/12037>`_,
  fixes `#9670 <https://github.com/coq/coq/issues/9670>`_,
  by Lysxia).