Great write-up! Thanks for taking the time to do this.

This is incredibly similar to the way we did multi-user simultaneous editing in https://Clara.io back in 2013/2014. It was also a tree-based OT-like system, but there was a few differences.

I also wonder if you guys studied how we did it...