User-friendly options menu

Make the default options menu only show the most important
options, split into categories. The full, traditional menu
can be accessed by using the m-prefix.

doc/Guidebook.mn

@@ -868,6 +868,7 @@ The available options
 are listed later in this Guidebook.
 Options are usually set before the game rather than with the \(oqO\(cq
 command; see the section on options below.
+Precede \(oqO\(cq with the \(oqm\(cq prefix to show advanced options.
 .lp \(haO
 Show overview.
 .lp ""
@@ -1384,6 +1385,7 @@ Default key is \(oqo\(cq.
 .lp "#options "
 Show and change option settings.
 Default key is \(oqO\(cq.
+Precede with the \(oqm\(cq prefix to show advanced options.
 .lp #overview
 Display information you've discovered about the dungeon.
 Any visited

doc/Guidebook.tex

@@ -962,6 +962,7 @@ a further menu or prompt will appear once you've closed this menu.
 The available options
 are listed later in this Guidebook.  Options are usually set before the
 game rather than with the `{\tt O}' command; see the section on options below.
+Precede {\tt O} with the {\tt m} prefix to show advanced options.
 %.lp
 \item[\tb{\^{}O}]
 Show overview.\\
@@ -1494,6 +1495,7 @@ Open a door. Default key is `{\tt o}'.
 %.lp
 \item[\tb{\#options}]
 Show and change option settings. Default key is `{\tt O}'.
+Precede with the {\tt m} prefix to show advanced options.
 %.lp
 \item[\tb{\#overview}]
 Display information you've discovered about the dungeon.  Any visited

doc/fixes3-7-0.txt

@@ -1763,6 +1763,7 @@ add wizard mode #wizkill command to remove monster(s) from play
 some quest nemeses release a cloud of poisonous gas when they die
 taming magic acting on an already tame creature might make it become tamer
 eliminate scimitar skill and have scimitars use saber skill
+simplified configuration options menu
 
 
 Platform- and/or Interface-Specific New Features