On Sat, 2003-05-17 at 18:38, Michel Selten wrote: > ps. I know we had talked about this on the mailing list, but I just > wanted to answer this one on the list as well :) I meant we talked about this on irc. Duh, silly me...