I took a different approach btw building collaborative editing in WordPress core editor. Knowing about OT/CRDT but decided to go with the approach here: https://github.com/WordPress/gutenberg/pull/1877

Might be useful to you as this is react/redux.