On May 18, Greg Lehey wrote > I think they were just off the air for a while. I tried earlier and > couldn't get them, but it works "fine" now. Or just out of resources, maybe. My first attempt failed, I hit "reload" and it worked. -- Manuel Bouyer, LIP6, Universite Paris VI. Manuel.Bouyer@lip6.fr --