Format(3o) on Linux

The text 0d5edad52f4a, as Debian 11 (Bullseye) shipped it.

Pretty-printing.

Format(3o) on Linux now