docs: def update(self, new_options):
          """Update this ConfigOptions using data from another."""
          for option in new_options:
              if option.key in self.options:
                  del self.options[option.key]
              self.options[option.key] = option