It might depend on the age of the key. For example, I found my 2015-vintage key (0xB36A288B9D4005D3) on keys.openpgp.org, a keyserver which I had never previously visited, and certainly did not submit the key to myself. Antonio's key is even older, so perhaps our keys pre-date these changes to the keyservers.
Regards, Alexander On Wed, Jan 18, 2023 at 7:43 PM Sam James <s...@gentoo.org> wrote: > > > > On 18 Jan 2023, at 23:46, Alexander Jones <happy5...@gmail.com> wrote: > > > > Keyservers share keys with each other, so you should be able to find that > > key on > > This is not the case with modern key servers at present. You must publish > individually. >