- Documentation fix: updated context-sensitive help to match menu item changes.
  Fixes critical bug #3453.  (In the end someone has to do it ...)