CRDT: remove TODO