It seems that the v8.16 branch stopped installing usr/doc/coq-core/README.md sometime around (before) July 25. Was this intentional?
usr/doc/coq-core/README.md
Last updated: Jun 09 2023 at 07:01 UTC