docs: def Append(self, desc):
      """Append the descriptor to this set."""
      if desc not in self.descriptors:
        self.descriptors.append(desc)
        self.descriptor_map[desc.name] = desc
        self.descriptor_names.append(desc.name)