Dead GitHub link in 9.0 release notes

[jmid]

I just came across the 9.0 release page: https://rocq-prover.org/releases/9.0

This is the first release of Rocq, version 9. It marks the completion of the renaming from The Coq Proof Assistant to The Rocq Prover.

 Github release

The latter link however points to https://github.com/rocq-prover/rocq/releases/tag/9.0 (a non-existing repo I think)
whereas I see a tagged release here: https://github.com/coq/coq/releases/tag/V9.0.0

[Zimmi48]

The organization and the repo will eventually be renamed to rocq-prover/rocq (we are still waiting on an answer from GitHub support about the organization renaming), but the tag will continue to be broken because it should be V9.0.0, not 9.0 or 9.0.0 as I see it now (after dcc1385).