The text 390a737ccf5e, as Debian 10 (Buster) shipped it.
Pipe output to PAGER if destination is a TTY
IO::Pager::Unbuffered(3pm) on Linux now
