On Oct 11, 2026, at 14:10, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Which is not to say that it's not important for PGXN to take some
> action here. But perhaps it's less urgent than I first thought.
Oh, sure. I don’t think it’s *super* urgent, but as I’ve had a couple inquiries in the past year, after 15 years
withoutany, I figured it was time to start the conversation.
I agree with your upthread comments that we should aim to minimize pain for users. But it may also be the case, at some
point,where there is an extension with a vulnerability and no one able and willing to take it over, in which case we
mightneed to do something else.
Bah, I never implemented deletion of extensions from PGXN. Let’s hope that situation doesn’t come up any time soon!
D
