Real-time collaborative editor.