I asked how this could be implemented online 2 days ago: https://news.ycombinator.com/item?id=6284610

I believe Operational Transforms are the way to go, but I have no basis for that.