m #optionsfull

Preceding #options or the key bound to that with m runs 'advanced'
options.  Implement the inverse:  preceding #optionsfull or the key
bound to that with m now runs 'simple' options.

doc/Guidebook.tex

@@ -1504,6 +1504,10 @@ Precede with the {\tt m} prefix to show advanced options.
 %.lp
 \item[\tb{\#optionsfull}]
 Show advanced game option settings.
+No default key.
+Precede with the `{\tt m}' prefix to execute the simpler options command.
+(Mainly useful if you use {\tt BINDING=O:optionsfull} to switch
+`{\tt O}' from simple options back to traditional advanced options.)
 %.lp
 \item[\tb{\#overview}]
 Display information you've discovered about the dungeon.  Any visited