code: def format_heading(self, heading):
          
          if heading == 'Options':
              heading = "SCons Options"
          return optparse.IndentedHelpFormatter.format_heading(self, heading)
docs: This translates any heading of "options" or "Options" into
          "SCons Options."  Unfortunately, we have to do this here,
          because those titles are hard-coded in the optparse calls.