JSON files are now save without indenting, to minimize file size. Exported files still have indentation though.