- **Added:**
  Several commands (`Search`, `About`, ...) now print the implicit arguments
  in brackets when printing types.
  (`#11795 <https://github.com/coq/coq/pull/11795>`_,
  by SimonBoulier).