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