Open source rich text editor based on HTML5 and the progressive-enhancement approach.