Collaborative Text Editors (Part 1): Prelude

Setting the stage for a deep(-ish) dive into collaborative text editors.