Re: pgp keyservers

[Daniel Corbe]

> On Jul 22, 2024, at 10:00, John Kristoff <j...@dataplane.org> wrote:
> 
>  * https://keys.openpgp.org/

keys.openpgp.org is the only key server I’ve ever used, but I’m wondering if 
it’s one of the “hipster” key servers referred to earlier.