Texinfo/Info/HTML version of 0.999

[K. Berry]

   at hand-converting the 0.999 LaTeX file to Texinfo, which basically 

How about a sed/awk script to replace the query-replace-regexp's? Then
maybe we could do it automatically.

    Texinfo experience.  So if any Texinfo guru wants to look it over to
    improve on it, you're welcome.  If not, I might just as well put it 

I'll look at it, but I'm sure it's fine. Let's go ahead and distribute
it. At least it's something. Thanks for doing the work.