OpenPGP keys used by GNU diffutils
