On Mon, Jun 5, 2023, at 06:50, Jeff King wrote:

This is better, I think, but...

[snip]

...what I had meant to suggest was putting the documentation next to
each field, like:

That make even more sense. :)

-- 
Kristoffer Haugsbakk