Warning
This oddly does not parse ampersand codes.
Run this on
this website
:
window.location = "data:application/octet-stream;charser=utf-8," + encodeURIComponent(document.getElementsByTagName("pre")[0].innerHTML);