- **Added:**
  A new documentation environment ``details`` to make certain portion
  of a Coq document foldable.  See :ref:`coqdoc`
  (`#10592 <https://github.com/coq/coq/pull/10592>`_,
  by Thomas Letan).