The text 3f0156b4dd01, as Debian 12 (Bookworm) shipped it.
handle printable menu request names
menu_request_by_name(3menu) on Linux now
