The file is a gzipped tar file. Your browser is playing tricks with you and trying to be smart.Rasmus Lerdorf
