Merge pull request #42 from yforster/words

Formulations from Ocaml website not really fitting to Rocq

Author: tabareau

src/rocqproverorg_frontend/pages/governance.eml

@@ -39,7 +39,7 @@ Layout.render
       <div class="flex md:flex-row flex-col">
         <div class="w-full m-auto mb-4 md:mb-0">
           <h1 class="font-bold mb-2 text-title dark:text-dark-title">Governance</h1>
-          <p class="text-title dark:text-dark-title">The projects running under Rocq and the awesome people behind it
+          <p class="text-title dark:text-dark-title">The projects running under Rocq and the people behind it
           </p>
         </div>
         <div class="flex h-max flex-col lg:flex-row lg:space-x-6 space-y-5 lg:space-y-0 md:space-y-5 w-full lg:w-auto mt-8 md:mt-0">

src/rocqproverorg_frontend/pages/home.eml

@@ -511,7 +511,7 @@ Layout.render
         <a href="<%s Url.books %>" class="card dark:dark-card p-4 text-title dark:text-dark-white">
           <%s! Icons.book "h-16 w-16 mb-8" %>
           <p class="font-semibold text-xl mb-3">Books</p>
-          <p>Discover Rocq books from expert programmers and researchers - from beginner level to advanced topics.</p>
+          <p>Discover books on Rocq for both computer science and mathematics - from complete beginner level to advanced topics.</p>
         </a>
         <a href="<%s Url.stdlib %>" class="card dark:dark-card p-4 text-title dark:text-dark-white">
           <%s! Icons.command_line "h-16 w-16 mb-8" %>

src/rocqproverorg_frontend/pages/learn.eml

@@ -189,8 +189,8 @@ Learn_layout.single_column_layout
     <div class="mt-10 lg:mt-20">
       <h3 class="font-bold text-title dark:text-dark-title">Papers</h3>
       <div class="mt-6 text-content dark:text-dark-content text-lg">
-        Aspiring towards greater understanding of the language? Want to push the limits and discover brand new things?
-        Check out papers written by leading Rocq researchers:
+        Aspiring towards greater understanding of Rocq and its underlying theory?
+        Check out papers written by Rocq researchers:
       </div>
 
       <div class="flex flex-col lg:flex-row mt-8 space-y-4 lg:space-y-0 lg:space-x-6">

src/rocqproverorg_frontend/pages/rocq_planet.eml

@@ -65,7 +65,7 @@ News_layout.single_column_layout
             <p class="uppercase text-sm text-content dark:text-dark-content tracking-widest font-medium mb-2">Blog</p>
             <h1 class="font-bold text-2xl text-title dark:text-dark-title mb-2">The Rocq Planet</h1>
             <p class="text-content dark:text-dark-content mb-4">
-              Articles and videos contributed by both experts, companies and passionate developers from the Rocq community.
+              Articles and videos contributed by members of the Rocq community.
               From in-depth technical articles, project highlights, community news, or insights into Open Source projects,
               the Rocq Planet RSS feed aggregator has something for everyone.
             </p>