Ethersync: Peer-to-peer collaborative editing of local text files