The text 1ed5e2d74153, as Debian 4.0 (Etch) shipped it.
set and get menu sizes
menu_format(3menu) on Linux now
