use window.location.replace function to prevent changes in window zoom from filling up the browser history.

without this, clicking back on a browser goes to the last zoom, not the last useful page.
Per https://developer.mozilla.org/en-US/docs/Web/API/window.location#Example_.233