Nice one.
Still, the ignore button is your friend, especially when the troll brigade is out in force. What matters really is how you define 'troll'... different opinion than my own: not a troll. Low content posts trying to get a rise out of people: troll, ignore becomes an option if you still want to use the forum for its intended purpose.
You constantly feed the troll Stolfi, which is bad enough, but you also quote his attention-whoring all the time which is both another kind of feeding and staggeringly rude to very many here that have him on ignore.
So, "nice one", join him on another ignore.