On Fri, Mar 22, 2024 at 11:39 AM David Christensen <david...@pgguru.net> wrote:
> I think it's easier to keep the widths balanced than constant (patch > version included here) Yeah, I'm fine with that, especially because nobody is translating it, nor are they likely to, to be honest. Cheers, Greg