Papyrus: A rich text CRDT from 2012 | Hacker News Reader