erebos-0.1.3: Decentralized messaging and synchronization