9.0.1
No due date
90% complete
@coqbot: backport to v9.0 (move rejected PRs to: https://github.com/coq/coq/milestone/63)
@coqbot: backport to v9.0 (move rejected PRs to: https://github.com/coq/coq/milestone/63)