docs: def merge (d, o):
      """Recursively merges keys from o into d and returns d."""
      for k in o.keys():
          if type(o[k]) is dict and k in d:
              merge(d[k], o[k])
          else:
              d[k] = o[k]
      return d