How many moderators do we have for the dev and private lists? I am a moderator, but I don’t know if there are any others. I don’t think we need a huge number of moderators, but for latency & redundancy we ought to have at least 2, maybe 3.
Any volunteers? (A moderator must be a PMC member, IIRC.) Julian