- **Removed:**
  The `-load-ml-source` and `-load-ml-object` command line options
  have been removed; their use was very limited, you can achieve the same adding
  additional object files in the linking step or using a plugin
  (`#11409 <https://github.com/coq/coq/pull/11409>`_, by Emilio Jesus Gallego Arias).