Actually, pg was on the leaderboard for years. But, yes, his name was eventually removed, and while it was on the leaderboard, it was typically the top username by a very wide margin.