Added some methods to the HTML_Editor and Proxy_document to do basic
stuff. Need more info on structure to add more.