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