Hi Tom,
> On 26. Feb, 2021, at 17:13, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> WFM. Who's going to write the patch? (I can, but if one of you
> wants to, be my guest.)
I don't know how to write a patch. Is there any documentation about that?
Cheers,
Paul