Ethersync: Peer-to-peer collaborative editing of local text filesgithub.com/ethersync191 pointsblinrya year ago