So, here is the question: why didn't we apply the don't feed the troll meme, as would probably happen much sooner on most forums? I have several hypotheses on that.

There have been a few comments of that type, and I've sent private messages to some participants saying just that. Public "don't feed the troll" can be an encouragement.