The ignore button is great, but it doesn?t change the fact that he still derails threads.

I also vote to ban. He isn?t pushing an opinion. He is making the board not enjoyable.