That was more or less the original comment back when they started. Bots were a thing on Reddit before of course but they really started getting out in hand around 2021 which was long before the deal.