docs: def members(self):
          """
          Return a list of all users in this organization. Users are identified
          by their login name. Note that this is computed from the teams in the
          organization, because GitHub does not currently offer a WebHook for
          organization membership, so converting org membership would lead to
          stale data.
          """
          allmembers = set()
          for team in self.teams():
              allmembers.update(team.members())
          return sorted(allmembers)