- **Removed:**
  Undocumented and experimental forward class hint feature ``:>>``.
  Use ``:>`` (see :n:`@of_type`) instead
  (`#13106 <https://github.com/coq/coq/pull/13106>`_,
  by Pierre-Marie Pédrot).