Any chance of allowing to see more than 5 users in the group leaderboard?

[suhasa010]

I use tacobot in a group of 6k people and top 5 users seems a little less. Any chance of customising it to, say, 10?

Thanks,
Suhasa