I suppose I could use his fingerprint to get his public key from a key server? But, which one??
Discussion
Copy out his public key from his website and paste it into your pgp client.
I added my public key to https://pgp.mit.edu. How do I search myself? It asks for a string to search. What string?
I figured out how to search myself
I don't know. Keys.openpgp.org doesn't have it.