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: Apr 18 2024 at 23:01 UTC