PGP public key servers are useful! [noise?]