<!-- Thank you for your contribution.
     Make sure you read the contributing guide and fill this template. -->


<!-- If this is a bug fix, make sure the bug was reported beforehand. -->
Fixes / closes #????


<!-- Remove anything that doesn't apply in the following checklist. -->

<!-- If this is a feature pull request / breaks compatibility: -->
- [ ] Added **changelog**.
- [ ] Added / updated **documentation**.

<!-- If this breaks external libraries or plugins in CI: -->
- [ ] Opened **overlay** pull requests.

<!-- Pointers to relevant developer documentation:

Contributing guide: https://github.com/coq/stdlib/blob/master/CONTRIBUTING.md

Changelog: https://github.com/coq/stdlib/blob/master/doc/changelog/README.md

Building the doc: https://github.com/coq/stdlib/blob/master/doc/README.md
Sphinx: https://github.com/coq/stdlib/blob/master/doc/sphinx/README.rst

Overlays: https://github.com/coq/stdlib/blob/master/dev/doc/README-CI.md
