Hmm, strange. I can guarantee that it's a false positive. The download is just a HTML file and comes bundled with the source code, so it can easily be verified that it isn't a virus. If you want to be really sure, you can upload the file to virustotal.com, which shows it to be safe.