docs: def _remove_docstring_indent(self, docstring):
      """Remove indenting.
  
      We follow Python's convention and remove the minimum indent of the lines
      after the first, see:
      https://www.python.org/dev/peps/pep-0257/#handling-docstring-indentation
      preserving relative indentation.
  
      Args:
        docstring: A docstring.
  
      Returns:
        A list of strings, one per line, with the minimum indent stripped.
      """
      docstring = docstring or ""
      lines = docstring.strip().split("\n")
  
      min_indent = len(docstring)
      for l in lines[1:]:
        l = l.rstrip()
        if l:
          i = 0
          while i < len(l) and l[i] == " ":
            i += 1
          if i < min_indent: min_indent = i
      for i in range(1, len(lines)):
        l = lines[i].rstrip()
        if len(l) >= min_indent:
          l = l[min_indent:]
        lines[i] = l
      return lines