On Tue, Mar 29, 2022, 10:17 PM Mikael Magnusson <mikachu@gmail.com> wrote:

This is your tweak, I just reformatted it a bit, which you didn't
object to at the time.

Ah, indeed. I just didn't read closely enough. Thanks.