Fix wiki toc link borken for non-English languages

Author: lunny

web_src/js/markup/anchors.js

@@ -38,7 +38,7 @@ export function initMarkupAnchors() {
     const href = a.getAttribute('href');
     if (!href.startsWith('#user-content-')) continue;
     const originalId = href.replace(/^#user-content-/, '');
-    a.setAttribute('href', `#${encodeURIComponent(originalId)}`);
+    a.setAttribute('href', `#${originalId}`);
     if (a.closest('.markup').querySelectorAll(`a[name="${originalId}"]`).length !== 1) {
       a.addEventListener('click', (e) => {
         scrollToAnchor(e.currentTarget.getAttribute('href'), false);