That account's previous comment isn't dead, according to http://news.ycombinator.com/threads?id=hans00 http://news.ycombinator.com/threads?id=hans00. Was the ac

That account's previous comment isn't dead, according to http://news.ycombinator.com/threads?id=hans00 http://news.ycombinator.com/threads?id=hans00. Was the account banned between that comment's (quite recent) posting and this one's? (That probably sounds like some kind of passive-aggressive complaint about the fact that hans00 got banned, so let me add that after looking through his comments I think his net contribution was solidly negative on account of his gratuitously obnoxious tone.)