We can use window.location.replace to avoid history, and to target on-page anchors without page reloads