Re: Use of PGP---statistics from the public key servers