The text b47557debdd8, as Debian 10 (Buster) shipped it.
std::istream offering line-editing and history
readlinestream(3bobcat) on Linux now
