How Web Key Directory works for discovering PGP keys associated with a given email address, and how to set up your own.