Gunnar_Zarncke comments on Should there be more people on the leaderboard?

[Gunnar_Zarncke]

I think the top contributor list could be even shorter (to save space) but a link to a more complete list (via the unused header link) would be nice in that case.