more experiments with 'download saving'

this time: get document.documentElement.outerHTML as soon as main() is
invoked (but before startup makes changes to the DOM, such as adding
backstage, adding <applet> for JavaSaver, etc.