The text 7917c3b7c124, as Debian 3.1 (Sarge) shipped it.
handle printable menu request names
menu_request_by_name(3menu) on Linux now
