“wysihtml5 is an open source rich text editor based on HTML5 technology and the progressive-enhancement approach” xing.github.io/wysihtml5/