A text editor that allows collaboration