For anyone interested in this topic, I'm publishing a new theory on this called Collapsing Time Machines: https://braid.org/meeting-111.
Not so sure about that. Undo in OT seems simpler to me than undo in CRDT.
Edit: Looks like you made the font yourself, very cool.