On Fri, Mar 22, 2024 at 11:39 AM David Christensen <[email protected]> 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
