rename "Inference Games" to "Inference" in game menu.
game_selection.js [change name in GameSpec]