Comment by tomwphillips

Like we don't feed the trolls, we shouldn't the feed agents.

I'm impressed the maintainers responded so cordially. Personally I would have gone straight for the block button.