OpenPGP keys used by GNU Awk
