The decision to change the name has been taken by the Coq team, but I believe they do not want the new name to be used until it has been acted administratively,

The decision to change the name has been taken by the Coq team, but I believe they do not want the new name to be used until it has been acted administratively, legally and technically (e.g. the documentation should mention the new name and be hosted on rocq.inria.fr).