Here's the relevant section: https://github.com/google/xi-editor/blob/master/doc/rope_science/rope_science_09.md#a-crdt-approach-to-async-plugins-and-undo https

Here's the relevant section: https://github.com/google/xi-editor/blob/master/doc/rope_science/rope_science_09.md#a-crdt-approach-to-async-plugins-and-undo https://github.com/google/xi-editor/blob/master/doc/rope_sci...