> On 23 Oct 2026, at 05:27, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>
>> On 22 Oct 2026, at 22:33, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
>> So I'm rather inclined to just delete it instead of expending effort on fixing
>> it.
>
> +1
PFA patch removing it.
--
Daniel Gustafsson