A collaborative editor.