A distractionless text editor, as an open web application