On Thu, 29 Oct 2009 08:07:11 -0400, Adam Chlipala <adamc at hcoop.net> wrote: > Everyone's weighed in now. I'm not sure how to interpret ntk's > availability description, but if it includes the time you propose, > then I say we go for it. ntk confirmed with me just now that it works for him. i'll send an -announce message.