anchor.diff:  
   *-r, --restart*::
   Instructs the currently running IceWM to restart itself.
  -This can be used when you want to reload the IceWM configuration.
  +This can be used to reload the IceWM configuration after modifications.
  +It is the preferred way to restart IceWM from the command line
  +or in scripts.
   
   *--configured*::
   Shows a list of configuration options which were
  
positive.code: For example, the following line creates a hotkey to reload
  the IceWM configuration:
  
    key "Ctrl+Shift+r"      pkill -x -HUP icewm
  
  *menu*::
  A menu of startable applications; usually customized by the user.
  
negative.code: *Move To*
  submenu in the window menu of the window frame.
  
  Please beware that changing the names of workspaces
  in the preferences file and then restarting IceWM
  will not make the changed names visible on the toolbar.
  This is because the old names are preserved as properties
  by the X server and restored by IceWM when it restarts.
  To remove these from the X server run:
  
    xprop -root -remove _WIN_WORKSPACE_NAMES
  
  KEYBOARD SHORTCUTS
  ------------------
  IceWM supports a large number of hotkeys to activate
  