Kind: documentation / bug fix / feature / performance / infrastructure.
Fixes / closes #????
- Added / updated test-suite
- Corresponding documentation was added / updated (including any warning and error messages added / removed / modified).
- Entry added in the changelog (see https://github.com/coq/coq/tree/master/doc/changelog#unreleased-changelog for details).