Collaborative editing

Collaborative editing should be impletemend as a no-ui lightweight text updates.

Possible services that provide collaborative editing:
- [ProseMirror](http://prosemirror.net/)
- [Tiptap](https://tiptap.dev/)
- [Y.js](https://github.com/yjs/yjs)