On Fri, Mar 22, 2024 at 11:39 AM David Christensen <david+pg@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