Board Thread:General Discussion/@comment-26221691-20160107221621/@comment-27123758-20160107222739

I think so, yeah. He hasn't really been active for a while. I dunno.

Probably should still give him a retired bureaucrat tag, or something.