How Google Docs, Figma, and Notion let multiple users edit simultaneously without conflicts — the beautiful mathematics of conflict-free replicated data types.