Syslinux - Jan 2023 - public key for verification of Syslinux distribution

Dear SYSLINUX Team,

Thank you so much for a great system. I really appreciate it.
I downloaded the latest Syslinux distribution, available on www.kernel.org,
to a Microsoft Windows machine, and attempted to verify the distribution:
gpg --verify .\syslinux-6.03.zip.sign.txt .\syslinux-6.03.zip
gpg: Signature made 10/6/2014 11:32:37 AM Central Daylight Time
gpg:                using RSA key 88AE647D58F7ABFE
gpg: Can't check signature: No public key

I do not see the public key on the Syslinux web site, the Linux kernel's
PGP Git, or in Google search results. Sorry, if I missed it. Could you
please suggest a good way to retrieve the above public key? Is there an
interface for searching the archives of this mailing list?

-- 
Best regards,
Kamen Lozev
Manager
Quality IT Support LLC

It looks like the key can be retrieved from
https://keys.openpgp.org/search?q=88AE647D58F7ABFE

But it looks like it is expired:
https://www.syslinux.org/archives/2017-January/025519.html

On Thu, 2023-01-26 at 13:01 -0600, Kamen Lozev via Syslinux
wrote:
> Dear SYSLINUX Team,
> 
> Thank you so much for a great system. I really appreciate it.
> I downloaded the latest Syslinux distribution, available on www.kernel.org,
> to a Microsoft Windows machine, and attempted to verify the distribution:
> gpg --verify .\syslinux-6.03.zip.sign.txt .\syslinux-6.03.zip
> gpg: Signature made 10/6/2014 11:32:37 AM Central Daylight Time
> gpg:                using RSA key 88AE647D58F7ABFE
> gpg: Can't check signature: No public key
> 
> I do not see the public key on the Syslinux web site, the Linux
kernel's
> PGP Git, or in Google search results. Sorry, if I missed it. Could you
> please suggest a good way to retrieve the above public key? Is there an
> interface for searching the archives of this mailing list?
>