code: def patch(html, user_content=False):
      
      # FUTURE: Remove this once GitHub API renders task lists
      # https://github.com/isaacs/github/issues/309
      if not user_content:
          html = INCOMPLETE_TASK_RE.sub(INCOMPLETE_TASK_SUB, html)
          html = COMPLETE_TASK_RE.sub(COMPLETE_TASK_SUB, html)
  
      # FUTURE: Remove this once GitHub API fixes the header bug
      # https://github.com/joeyespo/grip/issues/244
      html = HEADER_PATCH_RE.sub(HEADER_PATCH_SUB, html)
  
      return html
docs: Processes the HTML rendered by the GitHub API, patching
      any inconsistencies from the main site.