/leaders no longer shows karma count for top 10 users

For those wondering, the karma points can be viewed on the users profile page.