Polytoria .json -> .xml

Quickly convert your JSON Polytoria files into the old XML format!

(currently automatic decompression of the JSON file is not supported - you must manually decompress the file for now)