Re: mysterious PGP release-signing keys