I have the few I felt were incorrigible trolls or attacked me personally on ignore. I think it's 3 people. I see no issues with that.
I also agree to a point that trolling behavior is a problem from time to time. To be fair to the moderators we need to help police the forum and report trolling behavior when we see it.
I would recommend to the moderators that when you determine trolling is being engaged in maybe a quick hand-slap would be stronger than the standard warning cycle. Like an instant 3-day ban or something for a first offense. But it would have to be pretty cut-and-dried trolling activity, not just the occasional smart-*** exchange or dumb-*** response, otherwise
@Rubashov would be gone in a heartbeat.