were you guys going thru the terminal? Thats was the only way I could get it to work. When I loaded up the pc on bootcamp, it just seemed 1k times easier. on the mac, I had gpg keychain access and the dropdown thing. Sometimes I was able to download someones key just fine, others I had no idea what I was doing wrong. IF I could download the key to the keychain just fine, then I wouldn't have any issues. I would export the .txt file to a asc file. It worked a few times. But with the pc, It has worked flawlessly.