Yes, he was banned. I reported it. Apparently one of the mods got it too. The thread has most likely been deleted or moved to an area of the forum so the mods can review it.
I can't stand people like that.
Any member whose name denigrates another member will be banned automatically and immediately. No warnings, no questions. Any thread they create that is used to then go bash that other member will also be recycled immediately.