An online community is not complete without its trolls. Let them be and behave accordingly.

The more attention they get, the worse they become.