Board Thread:Internal management/@comment-7091122-20170117124616/@comment-7091122-20170117143528

His last mainspace edit was almost a month ago, guys. IIRC, by wiki rules, this means he'd be demoted on the 23rd of this month by default for inactivity.