The text 9fc8a0a2d841, as Debian 11 (Bullseye) shipped it.
std::streambuf offering line-editing and history
readlinebuf(3bobcat) on Linux now
