The text 835a6e4689bb, as Debian 7 (Wheezy) shipped it.
std::streambuf offering line-editing and history
readlinebuf(3bobcat) on Linux now
