Try alternative for docs.html compatibility

Author: APickledWalrus

src/pages/docs.astro public/docs.htmlsrc/pages/docs.astro renamed to public/docs.html

@@ -1,9 +1,6 @@
----
-// We do this manually so that we can preserve: docs.html?isNew
-// Not a real redirect, but it doesn't really matter
----
-
 <script>
+    // We do this manually so that we can preserve: docs.html?isNew
+    // Not a real redirect, but it doesn't really matter
     const url = new URL('syntaxes', window.location.origin);
     url.search = window.location.search;
     window.location.replace(url.toString());