* practically, a user whose midend has been left in that state
* probably _does_ want the 'new game' option to be prominent.
*/
* practically, a user whose midend has been left in that state
* probably _does_ want the 'new game' option to be prominent.
*/