OpenPGP keys used by Paul Eggert
