anchor.diff:  
   `icewm` supports the following options:
   
  ---display=NAME::      NAME of the X server to use.
  ---client-id=ID::      Client id to use when contacting session manager.
  ---sync::              Synchronize X11 commands.
  --c, --config=FILE::   Load preferences from FILE.
  --t, --theme=FILE::    Load theme from FILE.
  ---postpreferences::   Print preferences after all processing.
  --V, --version::       Prints version information and exits.
  --h, --help::          Prints this usage screen and exits.
  ---replace::           Replace an existing window manager.
  --r, --restart::       Tell the running icewm to restart itself.
  ---configured::        Print the compile time configuration.
  ---directories::       Print the configuration directories.
  --l, --list-themes::   Print a list of all available themes.
  ++--display=NAME+::      NAME of the X server to use.
  ++--client-id=ID+::      Client id to use when contacting session manager.
  ++--sync+::              Synchronize X11 commands.
  ++-c, --config=FILE+::   Load preferences from FILE.
  ++-t, --theme=FILE+::    Load theme from FILE.
  ++--postpreferences+::   Print preferences after all processing.
  ++-V, --version+::       Prints version information and exits.
  ++-h, --help+::          Prints this usage screen and exits.
  ++--replace+::           Replace an existing window manager.
  ++-r, --restart+::       Tell the running icewm to restart itself.
  ++--configured+::        Print the compile time configuration.
  ++--directories+::       Print the configuration directories.
  ++-l, --list-themes+::   Print a list of all available themes.
   
   == Glossary
   
  -Resource Path::
  +[glossary]
  ++Resource Path+::
   A set of directories used by IceWM to locate resources like configuration files, themes, icons.
   See section *The Resource Path*.
   
  
positive.code: key  "Alt+Ctrl+t"  xterm -rv
  ....
  
  == Window Options (updated 2017-11-15)
  
  *winoptions* file is used to configure settings for individual application windows.
  
  Each line in the file must be in one of the possible formats:
  
  * window_name.window_class.option: argument
  * window_name.window_role.option: argument
  * window_class.option: argument
  * window_name.option: argument
  * window_role.option: argument
  
  Each window on the desktop should have *name* and *class*
  resources associated with it.  Some more recent applications
  may also have a *window role* resource, though not all do.
  They can be determined using the `xprop` utility.
  
  `xprop` should display a line like this when used on a toplevel window:
  ....
  WM_CLASS = "name", "Class"
  ....
  
negative.code: together these locations are called the resource path.
  The resource path contains the following directories:
  
  +$ICEWM_PRIVCFG+::
  +$XDG_CONFIG_HOME/icewm+::
  +$HOME/.icewm+::
  The first of these which is defined and existent
  is used to search for the user's personal customization.
  +/etc/icewm+::
  the system-wide defaults directory
  +/usr/share/icewm OR /usr/local/share/icewm+::
  the compiled-in default directory with default files
  
  The directories are searched in the above order, so any file located
  