options help

Update the 'optmenu' data file to describe the simple options menu
(new paragraph containing just a one sentence) as well as the full
options menu (still several paragraphs).  Visible by choosing '?' in
the full options menu or the 'how to set options' choice in the main
help menu.

Add a line to the simple options menu about how to get the full
options menu.  Only shown if you type '?' to toggle on "show help";
taken away again if you use '?' to toggle back to "hide help".

dat/optmenu

@@ -1,12 +1,16 @@
  How dynamically setting options works:
 
- The options menu shows the current value for all options and lets
- you pick ones that you'd like to change.  Picking them doesn't make
- any immediate changes though.  That will take place once you close
- the menu.  For most of NetHack's interfaces, closing the menu is
- done by pressing the <enter> key or <return> key; others might
- require clicking on [ok].  Pressing the <escape> key or clicking
- on [cancel] will close the menu and discard any pending changes.
+ The simple options menu shows a relatively small subset of options
+ and operates on each choice you make immediately, then is put back
+ up to allow further changes.
+
+ The full options menu shows the current value for all options and
+ lets you pick ones that you'd like to change.  Picking them doesn't
+ make any changes though.  That will take place once you close the
+ menu.  For most of NetHack's interfaces, closing the menu is done
+ by pressing the <enter> key or <return> key; others might require
+ clicking on [ok].  Pressing the <escape> key or clicking on [cancel]
+ will close the menu and discard any pending changes.
 
  The options menu is too long to fit on one screen.  Some interfaces
  paginate menus; use the '>' key to advance a page or '<' to back