Real-time collaborative text editor.