On 2025-04-26, Theo de Raadt wrote:
> There's often a worry about auto-adjust because someone may be parsing
> the output in a script.
> 
> They should use a tool which isn't fooled by this, but they might
> use a tool which is fooled.

So I think awk is not so easily fooled, but anyway, I didn't move
the numbers, only the header, which is probably skipped anyway.