Update `help_getOptions.sh':
    
        - Remove `--backend' option. This option is no longer available
          through `centos-art.sh' command-line. Specification of what
          documentation backend a documentation manual uses has been moved
          to that manual's configuration file, through the
          `manual_backend' option.