Backport "Fix: Correct the navigation to anchor" to LTS (#18985)

Backports #17910 to the LTS branch.

PR submitted by the release tooling.
[skip ci]

scaladoc/resources/dotty_res/scripts/ux.js

@@ -285,7 +285,7 @@ document
         getTocListElement(id).parentElement.classList.toggle("active");
       }
       if (lastEntry.isIntersecting) {
-        window.location.hash = "";
+        history.replaceState(history.state, "", window.location.pathname + window.location.search);
         removeAllHighlights();
         const id = getIdOfElement(lastEntry);