FYI, there will be no meeting this Tuesday; recently, it's seemed that IRC meetings aren't as useful as the mailing list, so I'd like to suspend IRC meetings for now.