The text e05d927ea2d1, as Debian 10 (Buster) shipped it.
define a terminal output buffer
tickit_term_set_output_buffer(3) on Linux now
