The text ea4cddf2c539, as Debian 4.0 (Etch) shipped it.
set and get menu item options
menu_opts(3menu) on Linux now
