In this case, I was trying to use `document.open()` to replace the document with some text for debugging, and I noticed some strange side effects. :) The starti

In this case, I was trying to use `document.open()` to replace the document with some text for debugging, and I noticed some strange side effects. :) The starting point was here: https://stackoverflow.com/questions/39233344/does-javascripts-document-open-support-the-mime-type-parameter https://stackoverflow.com/questions/39233344/does-javascript...