- **Added:**
  Add hyperlinks on bound variables for coqdoc
  (`#12033 <https://github.com/coq/coq/pull/12033>`_,
  by Hugo Herbelin; it incidentally fixes
  `#7697 <https://github.com/coq/coq/pull/7697>`_).