See, in my opinion the best way to shut him up would have been for everything to say "We don't care about you" and "Who are you". basically not feeding the troll but because you get banned for making "I don't care posts" there was nothing you could really do but feed him.