The text e7e44b1c0245, as Debian 12 (Bookworm) shipped it.
set and get spacing between menu items.
menu_spacing(3menu) on Linux now
