- **Removed:** The option ``-I`` of coqchk was removed (it was
  deprecated in Coq 8.8) (`#12613
  <https://github.com/coq/coq/pull/12613>`_, by Gaëtan Gilbert).