Would be cool if time were taken into account, e.g. define "leaders" as most upvoted users this day / month / year.