Replay, Don't Patch: Keeping Elo Ratings Correct When Old Results Change

Elo ratings have an awkward property: they depend on order. A player's rating after match 40 depends on their rating after match 39, which depends on match 38, and so on back to the start. So if someo