The text 9ccca011dbad, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
Terminal widget, menu
imenu(3tcl) on Linux now