Google Docs: two people, one sentence, the same text

How up to 100 people type into the same document and every screen ends up identical: small changes against numbered revisions, operational transformation on one server per document, one change in flight per client, a revision log that is the document, its fence and its history, and composition for long offline sessions.