Re: HTML instead of GNU Info?

[Ben Pfaff <pfaffben@msu.edu>]

Norbert Nemec <nobbi@cheerful.com> writes:

   what is the general opinion about moving away from GNU Info completely and
   integrate all the TexInfo documentation into our preferred HTML standard?
   (At least I think it is, officially.) The program texi2html produces usable
   output which is readable in a much more flexible manner, IMO.

Do not take away my Info documentation!  It's far superior to HTML for
searching: you can do full text searches *and* index searches with the
press of a single key.  The browsers feel faster, interactively, than
HTML browsers, too.