First: this question is about supporting our current mods, not to criticize them. I think they do a fantastic job.
But, as they themselves have said: they are over-worked, to the point of officially asking for a break from moderator duties. While we can do many things to ensure that we community members are doing our part to police and to improve our site, there is only so much that non-moderators can do.
So: do we want to ask to have more moderators, so that our mods have some additional, real help?
If so: how many would be a good number? (One idea: just take the last election slate, and for any of that slate who still want to be moderators, just make it so.)