The text f3da35d746fa, as Debian 3.1 (Sarge) shipped it.
set and get menu item options
set_item_opts(3menu) on Linux now
