OpenPGP keys used by GNU wget
