https://coq.inria.fr/doc/v8.19/refman/changes.html#changes-in-8-19-1
https://github.com/coq/coq/compare/V8.19.0...V8.19.1
https://github.com/coq/coq/releases/tag/V8.19.1