@Agent101g has messaged me that he is going to be very busy in real life, particularly during the holidays. He suggested that it might be best to remove him from moderation and to pass it along.
He kind of vanished after that, so did not see my follow up offer for us to keep him on until, if and when he is available more.
So @Agent101g is on break for now. Possibly stepping down and possibly not.
We should be ok for now with 3 moderators, though. This forum is not nearly as unruly as the old one was in its prime. It does not require the level of moderation as the old one used to.