The longer you ignore him, the easier it is not to feel anything (even outrage) over the stupid things he says and his overall smug, pompous demeanor when they come into your awareness from time to time. Not feeding the trolls is an important life skill.