Thank you!
A global leaderboard for the combined time of all official tracks will definitely come at some point, probably during the next few major updates. It will put a bit more pressure on the servers having to retrieve the time for all tracks, but I think it should be doable