The text fc0eebd84339, as Debian 1.3 (Bo) shipped it.
get a line from a user with editing
readline(3readline) on Linux now
