docs: def copy(self):
          """Create a copy of the current one."""
          rv = object.__new__(self.__class__)
          rv.__dict__.update(self.__dict__)
          rv.identifiers = object.__new__(self.identifiers.__class__)
          rv.identifiers.__dict__.update(self.identifiers.__dict__)
          return rv