[...] And as far as mprep goes, I never did see many of his posts at all--but that doesn't mean he or any other global mod isn't doing their job.
If mprep is not verbose, this does not mean at all that he is not coping
(although you didn't say that), I have never seen that he would not answer when it was really necessary
(including PM), the same goes for hilarious. In any case, since Theymos ignored the discussion regarding the appointment of a moderator in the Mining section, in particular, the appointment of philipma1957 as a moderator,
(despite the fact that this section really needs a moderator), then I definitely would not expect any job changes among the global mods.