Update index.html

src/index.html

@@ -30,13 +30,20 @@ <h2 id="about">About</h2>
     Proof General, vim with CoqTail, vscode with vscoq).
     </p>
     <p>
-    The documentation is working with the latesest version of [Coq Platform](https://github.com/coq/platform/blob/main/doc/README~8.19~2024.10.md), i.e [8.19.2].
+    The documentation is working with the latesest version of <a href="https://github.com/coq/platform/blob/main/doc/README~8.19~2024.10.md">Coq Platform</a>, i.e 8.19.2.
     It is planned in the future to index the documentation and the Coq Platform's version and to have a dev version of it, 
     so that users can find docmentation working for their version of the Coq and the Platform.
     It is not the case as of yet, so the documentation it is not guaranteed to work perfectly on other versions of Coq and the Platform, 
     though most of the content should still be working fine.
     </p>
 
+    <p>
+    For this demo, we are relying on JsCoq1 that only supports Coq up to 8.17.
+    Consequently, it may be failing for some content that need Coq 8.19.
+    We hope to switch soon to JsCoq2.
+    </p>
+
+
     <h2 id="coq-tut">Coq Tutorials</h2>
     <ul>
       <li>