I've locked the voting now, since v2.0.43 is no longer the latest version and there's a risk that some new votes would be cast regarding the newer versions instead and make it unclear what the result represents.
Maybe put out a poll as to what people want now. They seem to have made matchmaking better, I think. Although, it seems bots still count for pro points, and if you win serf bots 9 times in a row you are the best Dominion player in the world, but hey.
I think you've got your quote tags a bit messed up.
I don't see why bots should be excluded from the ranking system, as long as the matchmaking and ranking algorithms are robust, and working well together.
In my opinion what happened there is because:
a) Serfbot is severely overrated due to (for some reason) being matched against new players only. I play almost exclusively bots, and I never get matched with serfbot outside Campaigns, so some sort of filter is in place there. I don't know if the guy requested to play Serfbot or if those games were random matches. If he requested it, those games should never count for any kind of serious leaderboard.
b) the ranking system might be too responsive.