Manual claims that New game button pauses game
In C/basics.page is the sentence Press the <gui style=\"button\">New Game</gui> button in the header bar to pause your game.
Is this correct? Here I would expect the pause button to actually be labelled Pause
.