Fix links after governance page renamings.

Author: Zimmi48

README.md

@@ -86,7 +86,7 @@ being composed of the following community members:
 - Cuihtlauac Alvarado ([@cuihtlauac](https://github.com/cuihtlauac)), Maintainer (Tarides)
 - Sabine Schmaltz ([@sabine](https://github.com/sabine)), Maintainer (Tarides)
 
-The roles and responsibilities are explained in the governance, don't hesitate to [have a look](https://rocq-prover.org/governance) for more details.
+The roles and responsibilities are explained in the governance, don't hesitate to [have a look](https://rocq-prover.org/rocq-team) for more details.
 
 We're always looking for new maintainers! If you're interested in helping us make rocq-prover.org the best resource to learn Rocq and discover the ecosystem, [reach out to us](mailto:[email protected])!
 

data/pages/governance.md

@@ -69,7 +69,7 @@ applications.
 
 ### A. Core Team and Project Leader
 
-The [Rocq Core](/governance/governance#Core) team is composed of a set of voluntary, co-opted 
+The [Rocq Core](/rocq-team/governance#Core) team is composed of a set of voluntary, co-opted
 Maintainers that govern the development of the Rocq Prover and official Rocq Projects.
 It is the role of the Core team to resolve disputes that may arise in relation to
 the official Rocq Projects, specifically to ensure that
@@ -199,7 +199,7 @@ generate consensus among the community to resolve conflicts.
 
 The [Code of Conduct](/code-of-conduct) should be followed at all times.
 Maintainers that do not follow the Code of Conduct may be removed from their
-role by the [Code of Conduct enforcement team](/governance/community#Code%20of%20Conduct%20Enforcement)
+role by the [Code of Conduct enforcement team](/rocq-team/community#Code%20of%20Conduct%20Enforcement)
 (acting on behalf of the Project Leader).
 
 ****

data/pages/privacy_policy.md

@@ -5,7 +5,7 @@ meta_title: Rocq Privacy Policy
 meta_description: Rocq.org doesn’t use cookies and doesn’t collect personal data. Your data is your data, period.
 ---
 
-The Rocq [team](/governance) is committed to complying with GDPR, CCPA, PECR, and other privacy regulations on this website.
+The Rocq [team](/rocq-team) is committed to complying with GDPR, CCPA, PECR, and other privacy regulations on this website.
 
 ## Data Collection
 

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="/governance/governance#Core">Core team</a> after a poll of the users, see
+          The new name was chosen by the <a href="<%s Url.governance_team "governance" %>#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>