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

[zedzed]

The answer is 42.

(But, seriously, I think 15 is fine. I’d even be fine reducing it to 10 (username is currently #12)).