A real time collaborative editor.