- **Removed:** previously deprecated command line options
  ``-sprop-cumulative`` and ``-input-state`` and its alias ``-is``
  (`#13822 <https://github.com/coq/coq/pull/13822>`_,
  by Gaëtan Gilbert).