code: def get_options_dict(self):
          
          d = self.synchronizer.options if self.synchronizer else {}
          d.update(self.extra_opts)
          return d
docs: Return options from synchronizer (possibly overridden by own extra_opts).