A web-based purely-functional text editor.