Files: Write formatted JSON in WriteJsonFile()
v1.3