i guarantee you it isn't
I'm sure that what he means is he saw that in his browser
so it's probably a binary file, but for whatever reason, his browser didn't download it like a file, and instead pretended it was a regular text file
maybe some problem with http headers
but whatever it is it's probably an isolated issue and you should just try downloading it again
stuff like this happens relatively often for me on my low-quality satellite internet connection, but reloading it is usually enough to get it to work right