Such a feature would be very useful to have.
There will be some better moderation tools for the leaderboard in the future, but I haven't seen it be a big enough problem yet
