Fix redirects

Author: Fernando-A-Rocha

web/resources/404.html

@@ -4,33 +4,37 @@ <h1>Page not found</h1>
     <p><strong>The page you are looking for does not exist</strong> (Error 404)</p>
 </div>
 <script>
-    // Get the current path
-    const path = window.location.pathname;
+    function tryToRedirect() {
+        // Get the current path
+        const path = window.location.pathname;
 
-    // Transform the path: lowercase the first letter of each segment
-    const pathLowSegments = path
-        .split('/')
-        .map(segment => segment ? segment[0].toLowerCase() + segment.slice(1) : '')
-        .join('/');
+        // Transform the path: lowercase the first letter of each segment
+        const pathLowSegments = path
+            .split('/')
+            .map(segment => segment ? segment[0].toLowerCase() + segment.slice(1) : '')
+            .join('/');
 
-    // Redirect only if the transformed path is different from the current path
-    if (pathLowSegments !== path) {
-        window.location.replace(pathLowSegments);
-        return;
-    }
+        // Redirect only if the transformed path is different from the current path
+        if (pathLowSegments !== path) {
+            window.location.replace(pathLowSegments);
+            return;
+        }
+
+        // Redirect element/* to /*
+        if (path.startsWith('/element/')) {
+            const elementPath = path.slice('/element/'.length);
+            if (elementPath === 'index.html') {
+                return;
+            }
 
-    // Redirect element/* to /*
-    if (path.startsWith('/element/')) {
-        const elementPath = path.slice('/element/'.length);
-        if (elementPath === 'index.html') {
+            window.location.replace('/' + elementPath);
             return;
         }
 
-        window.location.replace('/' + elementPath);
-        return;
+        // Show the 'not-found' element if no redirect is needed
+        document.getElementById('pathname').textContent = path;
+        document.getElementById('not-found').style.display = 'block';
     }
 
-    // Show the 'not-found' element if no redirect is needed
-    document.getElementById('pathname').textContent = path;
-    document.getElementById('not-found').style.display = 'block';
+    tryToRedirect();
 </script>