Yea, I guess. Unless the leaderboard is removed again there probably is no need for this.