Which Reddit thread was that, out of curiosity? And how do you know which commenters were bots?