On 04/09/2023 03:42 CEST Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> I think the last hunk of this is plenty sufficient, and the earlier> ones just add noise.
Done.
--Erik