- **Removed:** ``Typeclasses Axioms Are Instances`` flag, deprecated since 8.10.
  Use :cmd:`Declare Instance` for axioms which should be instances
  (`#11185 <https://github.com/coq/coq/pull/11185>`_, by Théo Zimmermann).