A text editor built on top of HTML5 technology