You win this round, Google Ads. But there will be another. Sometime, possibly I guess.