The text 727a4c09e01b, as Debian 11 (Bullseye) shipped it.
set and get current_menu_item
menu_current(3menu) on Linux now
