@trinsec IIRC when you click play, you have the option to select format (modern/standard/whatever) and best-of-N, and in that menu there's a "bot match" option with an icon of a quintain.
I haven't played in several months, though - I don't enjoy the deck-building, so every time the set of legal cards changes, I give it up until I feel like making another deck to conform to the new rules.
@khird@qoto.org Yeah, a friend explained that to me so I gave it a go again.
I've tried the green-white deck with the 'saddle' mechanism. I disliked that a lot.
Then I tried a red deck something... but red isn't my style, so conceded that as well.
Then I tried the Large and in Charge green deck. That was kind of amusing, summoning overkill big creatures. Won a round. But still, compared to the standalone games (2013, 2014, 2015 that I have) those decks aren't to my tastes so far. I'll probably try more decks tomorrow, but I just managed to find a working version of Magic Shandalar, so I might actually give my childhood nostalgia a go instead.