code: def examples_section(doc, header_level):
      
      lines = []
      if "Examples" in doc and len(doc["Examples"]) > 0:
          lines.append(f"{'#'*(header_level+1)} Examples \n")
          egs = "\n".join(doc["Examples"])
          lines += mangle_examples(doc["Examples"])
      return lines
docs: Generate markdown for Examples section.
  
      Parameters
      ----------
      doc : dict
          Dict from numpydoc
      header_level : int
          Number of `#`s to use for header
  
      Returns
      -------
      list of str
          Markdown for examples section