Saving and loading of HTML, fix for detecting an existing document, more formatting for hallo.js