Though created as a replacement for JavaScript in the browser, Google's Dart will now be compiled rather than run in its own VM ...

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.