2023-02-17 Designing Data Structures for Collaborative Apps