Rasmus Lerdorf Quotes
The file is a gzipped tar file. Your browser is playing tricks with you and trying to be smart.
This is your silly web browser doing that. The file is correctly named.
When the world becomes standard, I will start caring about standards.