Look into possible failure to delete save game on Linux when game is over.
Make a real README.
Update real manual.
