Our hypertext documentation is certainly the largest quantity of
HTML you can find in the world. Besides, we know all the people who
have produced their own, so making the Big Change would be relatively
simple for them (esp. given your impressive perl script). Gateways can
be changed easily too. But all the browsers must be updated before,
and that will take more time !!! (There are thousands of copies
installed...)
> I suspect I'll get some resistance against abandoning UDI's, but I
> don't think they work.
Well, you still use them internally, don't you ? ;^)
Jean-Francois