OpenPGP keys used by GNU Grep
