Sure but also general trolls that are just trying to get an emotional rise just piss in wind thinking they aren't getting bait. It's that concept of not feeding the trolls.

Also comments are reddits bread and butter so processing a few extra aren't really impacting them and they are small to begin with. There is also the added bonus of it looks good on metrics for interactions.

I think assuming every troll has a bot army is greatly overestimating them, people are more underwhelming than even they like to admit. And seems like it could help with minor deviants but also I wonder if that would make them act up more and turn to more offensive ways of baiting an audience, but then you ban them.
Sort of like boiling a group down on purpose. A bit awful as you help nurture the problems to be more easy to remove.