Another note to admins: the list e-mail archives (the Mailman ones) haven't been updated for a couple of days. I thought this might clear up overnight, but it hasn't.