We truly want a pretty display with progress as default display.

Really really.

Changes 6f9a5c7 / 1f89f5
Don't forget to call footer() on the formatter, so that the buffers are flushed.
I don't understand much but at least, this gives a "good" version string for head