An HTML5 editor