Stop confusing the help topic with the internal game name once and for all (fix #97).