The text a95dd1eab1af, as Debian 8 (Jessie) shipped it.
std::streambuf offering line-editing and history
readlinebuf(3bobcat) on Linux now
