> > On a related note, do we want to continue using names from pixar movies > > now that Bruce is gone? Justin Maurer <mike911@clark.net> wrote: > i see no reason not to. they are nice names, the only problem is that we > may be running out of good ones (i admit, rc was a stretch) <irony type=mild> Is this supposed to imply that there's something wrong with "Mr. Potato Head"? </irony> -- Raul