Rename leaderboard_data.json to leaderboard_pinder.json 14fdc52 verified simonduerr commited on Sep 5
