The text dca2fb009dc8, as Debian 3.1 (Sarge) shipped it.
Control spacing between menu items.
menu_spacing(3menu) on Linux now
