Move redirect script earlier in the file

<head> better reflects desired behavior and is a micro-optimization

diff --git a/index.html b/index.html
index d6211048b98b16a70e7cabb9655cff56114166dd..8bb53417958a17ae57a377eebf7971916f347a6d 100644 (file)
--- a/index.html
+++ b/index.html
@@ -15,6 +15,13 @@
   <link rel="icon" href="data:,">
   <link rel="stylesheet" href="style.css">
   <title>alu.bz</title>
+  <script>
+    (async () => {
+      if (location.pathname !== '' && location.pathname !== '/') {
+        location.replace(await fetch(`/api?${location.pathname.substring(1)}`).then(r => r.text()));
+      }
+    })();
+  </script>
 </head>
 
 <body>
@@ -100,13 +107,6 @@
     </dialog>
   </main>
 
-  <script>
-    (async () => {
-      if (location.pathname !== '' && location.pathname !== '/') {
-        location.replace(await fetch(`/api?${location.pathname.substring(1)}`).then(r => r.text()));
-      }
-    })();
-  </script>
   <script src="script.js" type="module"></script>
 </body>