The text b8fa74b789d6, as Debian 3.0 (Woody) shipped it.
Control spacing between menu items.
menu_spacing(3menu) on Linux now
