OpenPGP keys used by GNU m4
