redid document, proxy, and real
Merge branch 'refs/heads/master' of https://github.com/Rawrz/HTML_Editor.git