- **Added:**
  Ltac2 commands defining terms now accept the :attr:`deprecated`
  attribute
  (`#13774 <https://github.com/coq/coq/pull/13774>`_,
  fixes `#12317 <https://github.com/coq/coq/issues/12317>`_,
  by Pierre-Marie Pédrot).