code: def case_insensitive_update(dct1, dct2):
      
      lowkeys = dict([(key.lower(), key) for key in dct1])
      for key, val in dct2.items():
          d1_key = lowkeys.get(key.lower(), key)
          dct1[d1_key] = val
docs: Given two dicts, updates the first one with the second, but considers keys
      that are identical except for case to be the same.
  
      No return value; this function modified dct1 similar to the update() method.