Edit: Maybe hilariousandco can
Can what? I can already moderate that and every other section as a Global. It does need a dedicated mod though, just like several other sections do. MiningBuddy may still be listed there but he hasn't been a mod for quite some time. Theymos just hasn't removed his name from there.
Why does it take so long to remove inactive Mods? I understand that it is difficult to add new mods, but an inactive Mod ends up being a risk as well.
btw, The last mods were chosen by activities, reports in the section that needed moderation. It is not necessary for some people to start saying which user they prefer as Mod...