On Sat, May 12, 2007 at 02:05:26PM -0700, Adam Chlipala wrote: > I propose that we freeze membership until we get to the point where new > members can have their accounts set up only on the new servers and find ... All good. +1