Actually, they were banned for a previous comment where they painted users of this community as animal abusers. I realized with this concern trolling comment that I’d simply forgotten to ban them the first time around.