chiark / gitweb /
HTML: move 'New game' back out of the drop-down menu.