A web-based text editor.