File: top500-latest.json
Looks like it should be deleted.
or the bot should be fixed so it creates the latest data with top500-latest.json, and the next day, top500-latest changes to top500-2025-MM-DD.json and a new file, top500-latest.json, is created.