The text 8141d3090c7b, as Debian 10 (Buster) shipped it.
write or erase menus from associated subwindows
post_menu(3menu) on Linux now
