The text 05f5d74f2827, as Debian 2.0 (Hamm) shipped it.
set and get menu sizes
format(3menu) on Linux now
