Better `platforms.json` format