chiark / gitweb /
Bring Pearl's game-completion handling in line with my usual practice: