docs: def save_json(py_obj, json_path):
      """Serialize a native object to JSON and save it normalized, pretty printed to a
      file.
  
      The JSON string is normalized by sorting any dictionary keys.
  
      Args:
        py_obj: object
          Any object that can be represented in JSON. Some types, such as datetimes are
          automatically converted to strings.
  
        json_path: str
          File path to which to write the JSON file. E.g.: The path must exist. The
          filename will normally end with ".json".
  
      See Also:
        ToJsonCompatibleTypes()
  
      """
      with open(json_path, 'w', encoding='utf-8') as f:
          f.write(serialize_to_normalized_pretty_json(py_obj))