From 77c29944c48158fae3278aaae79f38e9da820606 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Fri, 5 Jul 2024 15:06:43 +0200
Subject: [PATCH] new iteration with more context information

---
 incl/footer.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/incl/footer.html b/incl/footer.html
index 68d64fd094..6618302e27 100644
--- a/incl/footer.html
+++ b/incl/footer.html
@@ -12,7 +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'. The rename is currently in preparation, and will hopefully happen sometime in 2024.</p>
+        <p>The Coq team has decided that Coq will be renamed into 'The Rocq Prover'. Background information available <a href="https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement/2001#renaming-coq-8">here</a>. The rename is currently in preparation, we hope to have a new visual identity and website by the end of 2024, and to do a first release of Rocq around that time.</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>