He got banned. There was a server rollback, back around the same time Mike took over, and he got unbanned. I didn't bother to reban him because I didn't care (and because I felt like giving all you people who get so worked up over everything an e-titty twister).
In all seriousness, there was a lot of other shit going on with the board at the time, and rebanning him was mega low on the priority list. There's my rationale.