- **Added:**
  Added a FFI to convert between Ltac1 and Ltac2 identifiers
  (`#13997 <https://github.com/coq/coq/pull/13997>`_,
  fixes `#13996 <https://github.com/coq/coq/issues/13996>`_,
  by Pierre-Marie Pédrot).