I'm stuck on how to simply download these .asc files.  If I go to https://github.com/goatpig/BitcoinArmory/tree/master/PublicKeys - how do I download these files so that I can import them?  Do I need to create .txt file with this information, and then "gpg --import goatpigs-key.asc.txt"?