I've checked this & you're right, sorry about that! I've just released a small update that fixes this. Any compressed save files are now properly decompressed before exporting, and I've also improved the formatting of the resulting JSON file.
Oh wow, I really didn't mean to hurry you or anything, but thank you so much! I'll continue watching this project with great interest :)
