[Texmacs-dev] A long post about a technique for online document editing

[Massimiliano Gubinelli]

Here

https://zed.dev/blog/crdts

In case this could be interesting for us. I do not know what we really do right 
now, that is if we implement the concurrent modifications in ways which avoid 
collisions, as discussed in the above blog post.

Best
Max