Improve docs for CRDT example - closes #7