Perhaps that's the solution then: raise the limits for downmodding. Everyone on the leaderboard is now above 2000. Given the long-tail nature of such distributions, that means there's probably 1-2 thousand active users above 500 - more than enough to downmod spam/trolls.

I'd set the flag/downmod limit to 500.