chiark / gitweb /
Forbid undo of new-game if it would change the params.