On different names for the same game

Before you ask, yes - I have noticed that the document text has a different name for the game than everything else. No, I will not be fixing it. This is only a half-baked project, after all!