Conflict-Free Replicated Data Types (CRDT) for Distributed JavaScript Apps.