Typo index.html

Author: thomas-lamiaux

src/index.html

@@ -90,7 +90,7 @@ <h3>Small Disclamer</h3>
           In the future, the documentation is planned to be indexed on the
           Coq Platform's version, but as of yet, it is only guaranteed to fully work
           with the latest version of the
-          <a href="https://github.com/coq/platform/blob/main/doc/README~8.20~2025.01.md">Coq Platform</a> for Coq 8.19.2.
+          <a href="https://github.com/coq/platform/blob/main/doc/README~8.20~2025.01.md">Coq Platform</a> for Coq 8.20.1.
         </li>
         <li>
           The interactive interface is relying on JsCoq1 that only supports Coq up to 8.17