We’ve been instructed to keep discussions civil.
The trolls are the ones who weren’t civil; however, I don’t think the one who got banned was any near as bad as others have been on unrelated threads. He seemed kind of tame to me. Not very open minded, but not as rude as I have seen survive the moderators.