Building a CRDT-based rich-text system that merges concurrent edits across Notion blocks—without losing anyone’s work