Re: html texinfo install?

[Karl Berry]

    Hmm, what sort of thing were you looking for in a reply?

Exactly what you sent :).  Thanks.

I'll draft a change to standards.texi and send it here first.  Probably
next week, as I'm going on a short trip this weekend.