Using CRDTs for multiplayer text editing | Hacker News