I am wary of this change they made about Bots using the Pro Rating now, but whatever. Those ratings probably won't be around forever anyway.
As I understand it, it's (supposed to be) only a change of interface. You could always play bots using pro or casual as you prefered, when using the multiplayer lobby.
The most user-friendly way would obviously be to have "Play bots" buttons for both casual and pro games; maybe next year...
Or do you mean the fact that the top 50 of the Pro leaderboard is now dominated by (to me) unknowns, many of which sound like Adventure bots? Maybe MF is now mixing up adventures and pro games, or is there an explanation for this?? I don't think it can be just because there are more bot pro games now...
The fact that that happened is proof of my concern. There is no way Stef, for instance, should be ranked as low as he is with these changes. They should have at least worked out the issues before changing over.
Yes, the leaderboard is totally messed up now; but I see no connection to the reported change of the "Play vs. Bots" button. Playing bots in pro games was possible before, only more tedious and probably less known; I've played lots of bot pro games. But it was hard to get above a ranking of ~5500 by only playing bots in my experience, because the bots are ranked so low (the non-serf bots usually have pro ratings between 2000 and 4000.) And lots of the top leaderboard entries sound like Adventure bots, which shouldn't ever have a pro ranking.
Edit: I've checked: Neither of the current top 3 players (which do not sound like bots) is listed on Isotropish, so they must be bugs (or recognized cheaters), I think.
Some non-existing players/"adventure bots" have been at the top of the pro leaderboard for weeks, so this is probably a slightly older bug (though it seems to have become far worse):
Hello,
who is Maiden Abigail, Squire Edwin, Maiden Marjoria?
Is this from Goko or is this some new kind of exploit?