Fix a link and minor points in the governance policy proposal, add version information.

Author: mattam82

data/pages/governance.md

@@ -97,8 +97,6 @@ the Project Leader needs to become involved, he/she will act as arbitrator.
 
 #### A.1 Voting process
 
-These rules were approved by the Coq Core Team on ???.
-
 To resolve certain conflicting situations, the Core Team can proceed to vote on a binary decision, 
 as an ultimate recourse in case consensus cannot be reached. The result binds the core team only 
 and it is its responsibility to enforce the decision.
@@ -232,6 +230,10 @@ The version number should be changed for *any* edits that are made to this
 document, even typos. Otherwise disambiguating between versions is awkward.
 -->
 
+**Version 0.3 - March 6th 2025**
+
+- Precised the Leader renewal process and incorporated the voting processes in this file, for ratification by the Core team.
+
 **Version 0.2 - February 28th 2025**
 
 - This version is simplifying the organization by removing the informal Rocq Coordination team, to

src/rocqproverorg_frontend/pages/about.eml

@@ -106,7 +106,7 @@ Layout.render
           The new name, "the Rocq Prover", honors Inria Rocquencourt, the original site where the prover was developed.
           It also alludes to the mythological bird Roc (or Rokh), symbolizing strength and not so disconnected to a rooster.
           Furthermore, the name conveys a sense of solidity, and its unintended connection to music adds a pleasant resonance.
-          The new name was chosen by the <a href="<%s Url.rocq_team (Some "governance") %>#Core">Core team</a> after a poll of the users, see
+          The new name was chosen by the <a href="<%s Url.rocq_team (Some "core") %>">Core team</a> after a poll of the users, see
           <a href="https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement/2001#renaming-coq-8">this page</a>
           for a detailed breakdown of the results.
           </p>