OpenPGP keys used by GNU texinfo
