I'm pretty sure the reason not to feed the trolls was because the moderators were around the corner and would be inconvenienced by having to moderate a large fl

I'm pretty sure the reason not to feed the trolls was because the moderators were around the corner and would be inconvenienced by having to moderate a large flamewar rather than ban a single ignored troll.