Providing rules on the use of the new name

[Zimmi48]

Should we add some explicit rules guidelines about how to use the new name, and if so, where? In an upcoming renaming announcement? And in the meantime, in the renaming section of "About Rocq"?

The rules could be the following:

• The full name is the Rocq Prover (with this casing). Use it at least once in the introduction of any document or paper about Rocq.
• Never use the casing Rocq prover. Same for the Rocq platform. Use the Rocq Platform instead (or the Platform for short).
• If a sentence starts by Rocq + verb, prefer using the full name The Rocq Prover instead.
• Never say "Rocq 8". Past, Coq versions are still called Coq.

[SkySkimmer]

s/rules/gudelines/ unless we want to enforce them IMO

[Zimmi48]

Indeed, these guidelines won't be enforced, except in our own documentation.