Peritext: A CRDT for Rich-Text Collaboration