diff --git a/incl/footer.html b/incl/footer.html
index 0b3b9e79d1..68d64fd094 100644
--- a/incl/footer.html
+++ b/incl/footer.html
@@ -12,11 +12,7 @@
     <div id="block-aggregator-feed-1" class="clear-block block block-aggregator">
       <h2 class="title">Recent news</h2>
       <div style="background-color: blanchedalmond; padding-left: 5px;" class="content">
-        <p>October 2023: we have decided to rename 'Coq' into 'The Rocq Prover'.
-          Renaming all existing resources is a lot of work, it will be a slow, gradual transition.
-          During this transition period, please feel free to use both names, for example
-          by writing "formalized with Rocq (formerly Coq)" or "formalized with Coq (also named Rocq)".
-        </p>
+        <p>October 2023: we have decided to rename 'Coq' into 'The Rocq Prover'. The rename is currently in preparation, and will hopefully happen sometime in 2024.</p>
       </div>
       <div style="padding-left: 5px;" class="content">
         <p>There is now a Stack Exchange Q&amp;A site dedicated to <a href="https://proofassistants.stackexchange.com">Proof Assistants</a>! Do not hesitate to post and answer Coq questions there (use the <a href="https://proofassistants.stackexchange.com/questions/tagged/coq">coq</a> tag).</p>
diff --git a/incl/header.html b/incl/header.html
index d60342a823..1164f150ec 100644
--- a/incl/header.html
+++ b/incl/header.html
@@ -3,7 +3,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
 
 <head>
-  <title><#TITLE> | The Coq Proof Assistant, the Rocq prover</title>
+  <title><#TITLE> | The Coq Proof Assistant</title>
   <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
   <link rel="shortcut icon" href="/files/coq_favicon.ico" type="image/x-icon" />
   <link type="text/css" rel="stylesheet" media="all" href="/styles/barron/style.css" />
@@ -30,7 +30,7 @@
         <div id="logo">
           <a href="/" title="Home"><img src="/files/barron_logo.png" alt="Home" /></a>
         </div>
-        <h1 class="site-name"><a href="/" title="Home">The Coq (Rocq) Proof Assistant</a></h1>
+        <h1 class="site-name"><a href="/" title="Home">The Coq Proof Assistant</a></h1>
       </div><!-- /logo-wrapper-->
     </div><!-- /header-->
 
