Didn't they explicitly acquire the people behind CRDT's. Wasn't it also part of Google Wave?