coq.discourse.group -> discourse.rocq-prover.org renaming

Author: mattam82

src/rocqproverorg_frontend/components/footer.eml

@@ -38,7 +38,7 @@ let policies = [
 let socials = [
   ("https://coq.zulipchat.com", "Zulip", Icons.zulip);
   ("https://github.com/rocq-prover", "GitHub", Icons.github);
-  ("https://coq.discourse.group", "Discourse", Icons.discourse);
+  ("https://discourse.rocq-prover.org", "Discourse", Icons.discourse);
   ("https://mastodon.acm.org/@RocqProver", "Mastodon", Icons.mastodon);
   (* ("https://watch.ocaml.org/", "Peertube", Icons.peertube); *)
   ("/planet.xml", "RSS", Icons.rss);

src/rocqproverorg_frontend/components/header.eml

@@ -166,7 +166,7 @@ in
           <a aria-label="Rocq's Zulip" href="https://coq.zulipchat.com" class="opacity-60 hover:opacity-100 text-content dark:text-dark-title hover:text-primary dark:hover:text-dark-primary">
             <%s! Icons.zulip "w-6 h-6" %>
           </a>
-          <a aria-label="Rocq's Discourse" href="https://coq.discourse.group" class="opacity-60 hover:opacity-100 text-content dark:text-dark-title hover:text-primary dark:hover:text-dark-primary">
+          <a aria-label="Rocq's Discourse" href="https://discourse.rocq-prover.org" class="opacity-60 hover:opacity-100 text-content dark:text-dark-title hover:text-primary dark:hover:text-dark-primary">
             <%s! Icons.discourse "w-6 h-6" %>
           </a>
           <a aria-label="The Rocq Prover on GitHub" href="https://github.com/coq/coq" class="opacity-60 hover:opacity-100 text-content dark:text-dark-title hover:text-primary dark:hover:text-dark-primary">

src/rocqproverorg_frontend/pages/about.eml

@@ -107,7 +107,7 @@ Layout.render
           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 "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>
+          <a href="https://discourse.rocq-prover.org/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>
           <h2 id="awards">Awards</h2>

src/rocqproverorg_frontend/pages/community.eml

@@ -30,7 +30,7 @@ Community_layout.single_column_layout
                 <%s!  Hero_section.hero_button ~left_icon:(Icons.zulip "w-6 h-6") ~right_icon:(Icons.link "w-5 h-5") ~extra_html:("<strong>Chat</strong> on") ~text:("Zulip") ~href:("https://coq.zulipchat.com/") "" %>
                </div>
                <div class="flex lg:flex-row mt-8 mr-4">
-                <%s!  Hero_section.hero_button ~left_icon:(Icons.discourse "w-6 h-6") ~right_icon:(Icons.link "w-5 h-5") ~extra_html:("<strong>Share announcements</strong> on") ~text:("Discourse") ~href:("https://coq.zulipchat.com/") "" %>
+                <%s!  Hero_section.hero_button ~left_icon:(Icons.discourse "w-6 h-6") ~right_icon:(Icons.link "w-5 h-5") ~extra_html:("<strong>Share announcements</strong> on") ~text:("Discourse") ~href:("https://rocq-prover.discourse.org/") "" %>
                </div>
                <div class="flex lg:flex-row mt-8 mr-4">
                 <%s!  Hero_section.hero_button ~left_icon:(Icons.github "w-6 h-6") ~right_icon:(Icons.link "w-5 h-5") ~extra_html:("<strong>Collaborate</strong> in") ~text:("Rocq-community") ~href:("https://github.com/coq-community/manifesto") "" %>
@@ -51,9 +51,9 @@ Community_layout.single_column_layout
       <ul>
         <p class="text-title dark:text-dark-title text-xl font-mono mb-2">Discussion</p>
         <%s! social_list_item ~text:("Casual and high traffic discussions on the Rocq Prover, and ecosystem projects - ") ~href:("https://coq.zulipchat.com") ~left_icon:(Icons.zulip "w-10 h-10") ~title:("Zulip") "" %>
-        <%s! social_list_item ~text:("Anouncements and questions in English, Chinese, Spanish, French, German and Russian - ") ~href:("https://coq.discourse.group/") ~left_icon:(Icons.discourse "w-10 h-10") ~title:("Discourse") "" %>
+        <%s! social_list_item ~text:("Announcements and questions in English, Chinese, Spanish, French, German and Russian - ") ~href:("https://discourse.rocq-prover.org/") ~left_icon:(Icons.discourse "w-10 h-10") ~title:("Discourse") "" %>
         <%s! social_list_item ~text:("Ask and help answer Rocq questions - ") ~href:("https://proofassistants.stackexchange.com/questions/tagged/coq") ~left_icon:(Icons.stackoverflow "w-10 h-10") ~title:("Proof Assistants Stack Exchange") "" %>
-        <%s! social_list_item ~text:("Follow Rocq questions accross all Stack Exchange sites with this RSS feed - ") ~href:("https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites") ~left_icon:(Icons.stackoverflow "w-10 h-10") ~title:("Stack Overflow and other Stack Exchange sites") "" %>
+        <%s! social_list_item ~text:("Follow Rocq questions across all Stack Exchange sites with this RSS feed - ") ~href:("https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites") ~left_icon:(Icons.stackoverflow "w-10 h-10") ~title:("Stack Overflow and other Stack Exchange sites") "" %>
       </ul>
       <ul>
         <p class="text-title dark:text-dark-title text-xl font-mono mb-2">Development</p>