MODIFIED: HTML-mode: M-x open_document now inserts HTML5 DOCTYPE