End of game recognized, with  undo/redo permitted.