Even if I just delete the .txt part of the extension, the file format has already been changed.
To specify: When my mac downloads a file with an unknown extension it changes it to something readable like .txt. So when I download the .pac file, the mac changes it to .pac.txt to make the file readable. At least, that's how I think it works.