@whuber I think adding a couple more moderators would be useful later in the year; while the present set might just about cope, there could be a problem if say Scortchi or whuber were unavailable for a while (even when I am quite active, a lot of moderation stuff happens while I am asleep -- and later in the year - September to December - I will be quite busy, so the potential for things to get out of hand then would be larger still)
