Re: Whither openpgp.net?