Just to check I ran the game's files through VirusTotal and all of them return as clear. I doubt that there would be a virus in this page's download. If you're still worried you can check yourself with VirusTotal or maybe download MalwareBytes or Hitmanpro and scan it.