We could change the name of the original category and leave the old times up, then make new ones for the new changes. I don't see a point in redoing the old times when we could just make an updated leaderboard for the changes. I don't know what to call the new ones/old ones though.