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: Sep 25 2023 at 12:01 UTC