All JSON files have been combined into web.json.