I never even saw a ban tag, so if it was there once, it's gone now. Or maybe I'm not looking in the right place or something? I distinctly remember checking that right after I mentioned him in one of my posts here and saw that his account looked normal, and right after I saw somebody above mention a ban tag I checked and it wasn't there.
Hmm...wouldn't be the first time I didn't catch something that happened quickly on this forum.
It was a misunderstanding that spiraled out of control.