> Joel> If it is deemed extra safe, and useful, I don't see a problem. > Joel> But I am fine either way. > > I think it is safe, but I think people other than me ought to say so. Pedro said it seemed obvious even to him. I agree it seems correct as well. I would put it in. -- Joel