Renamed game.html to running_game.html (because finished_game has been
split off).