I definitely agree, feels like there's no point keeping times on the top of the leaderboards that are no longer achievable and thus aren't considered WRs anymore. They should be preserved somehow, but I'm not sure how.