OpenPGP keys used by GNU patch
