Updated version of texi2html so that 4.0.22 HTML manual doesn't turn out all goofy.
Attach a file by drag & drop or click to upload