- **Fixed:**
  Special symbols now escaped in the index produced by coqdoc,
  avoiding collision with the syntax of the output format
  (`#12754 <https://github.com/coq/coq/pull/12754>`_,
  fixes `#12752 <https://github.com/coq/coq/issues/12752>`_,
  by Hugo Herbelin).