The text 545d4cf31e91, as Debian 2.1 (Slink) shipped it.
set and get menu item options
menu_opts(3menu) on Linux now
