What is `modules.json`? Is that the mapping generated by the new Loader's `generateMap`?