I know that we all find his behavior annoying and obnoxious, but most of
us don't even see his posts due to our kill-files.

What we _do_ see are all the follow-up posts complaining about him, and
these are not so easy to filter out.

So _please_ exercise restraint and don't respond. Trolls _thrive_ on
attention, and responding to his posts just encourages him to spam even
more.