Really remove the playground links

doc/common/styles/html/coqremote/footer.html

@@ -262,12 +262,6 @@ <h3 class="text-base font-semibold leading-6 text-title dark:text-dark-content">
                 </li>
 
 
-                <li>
-                  <a href="https://x80.org/rhino-down/" class="text-base leading-6 text-content dark:text-dark-title hover:text-primary dark:hover:text-dark-primary">Rocq Playground</a>
-
-                </li>
-
-
                 <li>
                   <a href="http://rocq-prover.org/logo" class="text-base leading-6 text-content dark:text-dark-title hover:text-primary dark:hover:text-dark-primary">Logo</a>
 

doc/common/styles/html/coqremote/header.html

@@ -164,15 +164,7 @@
 
         </li>
 
-        <li><a href="http://rocq-prover.org/changelog" class="block font-normal py-3 mg:py-4 px-1 lg:px-3 hover:text-primary dark:hover:text-dark-primaryblock text-title dark:text-dark-title">News</a>
-
-
-        </li>
-
-        <li><a href="https://x80.org/rhino-down/" class="block font-normal py-3 mg:py-4 px-1 lg:px-3 hover:text-primary dark:hover:text-dark-primaryblock text-title dark:text-dark-title">Play</a>
-
-
-        </li>
+        <li><a href="http://rocq-prover.org/changelog" class="block font-normal py-3 mg:py-4 px-1 lg:px-3 hover:text-primary dark:hover:text-dark-primaryblock text-title dark:text-dark-title">News</a></li>
 
         <li class="mt-3 mb-6">
           <a href="http://rocq-prover.org/docs#beginner_section" class="w-full rounded font-normal py-3 px-7 flex items-center justify-center bg-primary dark:bg-dark-primary text-white dark:text-dark-title">Get started</a>