3 ms·Source? Heard Google Docs stopped using CRDT.by rubatuga 3y agoSource? Heard Google Docs stopped using CRDT.