Hi all,

TL;DR here is that I managed to lose my private key, and need to replace
it.

So my old key, 5BEF5562908102FB56727B7CC52D7AFE85F25509, is entirely
lost. I have a revocation certificate for that which I will be issuing
shortly.

The new key is E7F417BF5214569E89D04F46CF9DCD8A81E27F14.

Due to losing the ability to sign from the original, I cannot cross-sign it
with the old.

So to establish the required trust, I had the new key signed by people with
the requisite level of trust. I attach the key here.

Could you please remove the old and replace it with the new?

(Apologies for this, I have obviously learned some lessons here :)

Thanks, Lorenzo