From 9b2e9562b97a8451cb297a6450ccc1eea4f8d374 Mon Sep 17 00:00:00 2001
From: "dak-agent[bot]" <284037069+dak-agent[bot]@users.noreply.github.com>
Date: Thu, 20 Aug 2026 03:06:55 +0000
Subject: [PATCH] fix: redirect mis-cased /MIPS paths to /MIPs

Co-authored-by: Prithvi Shahi <50885601+p-shahi@users.noreply.github.com>
---
 404.html | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/404.html b/404.html
index fb5f674..b45b36f 100644
--- a/404.html
+++ b/404.html
@@ -6,6 +6,26 @@
 buttons: true
 ---
 
+<script>
+  // GitHub Pages serves paths case-sensitively, so a mis-cased collection
+  // segment (e.g. "/MIPS/MIP-12" instead of "/MIPs/MIP-12") lands here as a
+  // 404. Normalise the leading segment to the canonical directory casing and
+  // redirect, preserving the rest of the path, the query string, and the hash.
+  (function () {
+    var canonical = { mips: "MIPs", mrcs: "MRCs" };
+    var path = window.location.pathname.replace(/^\/+/, "");
+    var slash = path.indexOf("/");
+    if (slash === -1) return;
+    var segment = path.slice(0, slash);
+    var fixed = canonical[segment.toLowerCase()];
+    if (fixed && fixed !== segment) {
+      window.location.replace(
+        "/" + fixed + path.slice(slash) + window.location.search + window.location.hash
+      );
+    }
+  })();
+</script>
+
 <main class="shell notfound">
   <div class="code">404</div>
   <h1>No proposal at this address.</h1>