not sure if more proper

mirva/resources/mirva.js

@@ -4,6 +4,7 @@ let scrollTimer = null;
 let scrollEventTimer = null;
 let defaultScroll = "smooth";
 let loadTime = new Date();
+let historyState = window.history.state;
 
 function r(f) {
   /in/.test(document.readyState) ? setTimeout('r(' + f + ')', 9) : f()
@@ -160,7 +161,7 @@ function scroll_to(element) {
 }
 
 function set_url_arg(i) {
-  window.history.replaceState('', document.head.title, `?i=${i}`);
+  window.history.replaceState(historyState, document.head.title, `?i=${i}`);
 }
 
 function get_url_arg() {