On Thu, 28 Jul 2005, Karoly Negyesi wrote: > > Gerhard, Moshe and John vanDyk. > > I am not sure that it is a good idea to discuss this while Dries is officially away (I know he reads his mail, but still). We should discuss it, though. Cheers, Gerhard, who is not sure he wants to be on that list