Sure; it looked to me like something the authors could take care of, though, if you want to head that way. Ted At 10:05 AM +0200 7/16/03, Randy Bush wrote:
thank you! may i simply pass this to the wg? randy