Fix sidebar navigation for non-ASCII section headers

Author: AmoghParmar

src/main/js/util/dom.js

@@ -6,15 +6,7 @@ export function createElementFromHtml(html) {
 
 export function toId(string) {
   const trimmed = string.trim();
-  const ascii = trimmed.replace(/[\W_]+/g, "-").toLowerCase();
-
-  // If ASCII stripping produces something meaningful, keep old behavior
-  if (ascii && ascii !== "-") {
-    return ascii;
-  }
-
-  // Fallback for non-ASCII locales (CJK, etc.)
   return Array.from(trimmed)
-    .map(c => c.codePointAt(0).toString(16))
+    .map((c) => c.codePointAt(0).toString(16))
     .join("-");
 }