Highlight clicked-on mine, incorrectly marked squares when game is over.
Commit 3d7f5b471691 added a red highlight to the clicked-on mine square.
Still need to add a highlight to empty squares incorrectly marked as mines.
This was done (at some point; I'm not sure what commit). It's in minesweeper-end-game, the move-overlay part.