Index: src/views/shell.ejs
===================================================================
--- src/views/shell.ejs	(revision 85d9fdadd52102cb2c42df4583431a47c1b11d2b)
+++ src/views/shell.ejs	(revision 6b8afb1fd6fd9cbf8a7e8d8d9c4c7a0bb99b5512)
@@ -498,4 +498,19 @@
     window.htmx.ajax('GET', here, { target: '#pcms-main', swap: 'innerHTML' });
   });
+
+  // Links MÉT eigen hx-get + hx-push-url (post-card/post-tile/topnav/…) lopen NIET
+  // via de boost hierboven, en hx-push-url is een no-op nu htmx-history uitstaat.
+  // Doe daarom de adresbalk-update hier zelf zodra htmx swapt. Programmatische
+  // htmx.ajax-calls (boost/popstate) hebben geen elt met hx-push-url → geen dubbel.
+  document.body.addEventListener('htmx:beforeSwap', function (evt) {
+    try {
+      var elt = evt.detail && evt.detail.elt;
+      if (!elt || !elt.getAttribute) return;
+      var u = elt.getAttribute('hx-push-url');
+      if (!u || u === 'false') return;
+      if (u !== lastPath) history.pushState({ b: 1 }, '', u);
+      lastPath = u;
+    } catch (_) {}
+  });
 })();
 </script>