Fix index.txt usage

index.html

@@ -84,10 +84,10 @@
                     if (!res.ok)
                         reload_versions_fallback()
                     res.text().then(
-                        (text) => set_versions(text.split('\n').map(String.prototype.trim).filter((e) => e.length !== 0)),
+                        (text) => set_versions(text.trim().split('\n').map((e) => e.trim()).filter((e) => e.length !== 0)),
                         reload_versions_fallback
                     )
-                })
+                }, reload_versions_fallback)
 
         }
         function reload_versions_fallback() {