Lies I was told about collab editing, Part 1: Algorithms for offline editing