The text 646985ef8abb, as Debian 12 (Bookworm) shipped it.
set and get current_menu_item
menu_current(3menu) on Linux now