The text a78cc859c5f5, as Debian 3.0 (Woody) shipped it.
convert each character to lower case
rbuf_down(3) on Linux now