Ну, вы все молодцы, честно говоря - устроили тут. Все же знают как нужно вести себя с троллями - не вступать в дискуссии. Так что если-то считает кого-то троллем, то именно эту модель поведения и стоит выбирать, я считаю. Для жалоб модераторам есть соответствующая кнопочка, она функционирует и модераторы в курсе происходящего.