code: def get_option(self, key, default=None):
          
          if self.synchronizer:
              return self.extra_opts.get(key, self.synchronizer.options.get(key, default))
          return self.extra_opts.get(key, default)
docs: Return option from synchronizer (possibly overridden by target extra_opts).