What IE does with the window.location.replace method is to add it on top of the browser history stack, instead of just replacing the top element. That's not so bad.