OpenPGP keys used by Michael R Sweet
