On the bright side, if this is just an "oops" that causes us a bit of collateral-damage pain until they sort out the heuristics but then ends up banning a huge amount of bots, I suspect it'll be worth the temporary pain.