docs: def unindent(self, lines):
          """Removes any indentation that is common to all of the given lines."""
          indent = min(
              len(self.re.match(r'^ *', line).group()) for line in lines)
          return [line[indent:].rstrip() for line in lines]