Do you happen to know why Google Docs uses OT instead of a CRDT-based system? This is something I've often wondered.