Hey everybody, I would suggest everyone just put the obvious troll on ignore. I just did. He's there with a handful of some others who I don't even know if they're on the board anymore. Makes the whole experience much more civil and adult.
Click his name, go to his profile and click "Ignore this user". If we all do it collectively, he's basically stuck in solitary with whomever didn't get the memo. At which point he'll get wilder and louder and those people will eventually figure it out.
I guarantee you he'd much rather you argue and chastise and yell at him, anything rather than ignore him. Remember, to only way to deal with trolls is in the one and only way they hate the most: to never respond and freeze them out. He's a conflict seeking child. Freeze him out.