Format JSON

Script and resulting file.