OpenPGP keys used by Jim Meyering
