When we transfer a run to the new leaderboard, should we delete the run on the old leaderboard? I think we should, as it will help us figure out which runs have not been transferred over yet.

I think that would be a good idea.