A distributed IMAP server based on Conflict-free Replicated Data Types.