What's the `paths.json` file for?