GSW: minor update to the discussion of the Whiley implementation of minesweeper.