"Just ignore the troll" is a good personal advice it is just not sufficient for the forum as a whole.