Re: HTML-Info design

[Stefan Monnier]

> A Firefox extension requires the users to install it,
> so this won't be a convenient option to use HTML-Info manuals.

A an extension installed separately lets the user choose which version
to install, lets her hack on it easily, ...

A version bundled in the HTML files would force the user to use exactly
that code with no practical control over it.  Even if that Javascript
code is GPL'd, in practice the user doesn't have much more option to
modify it than in a Tivo device.

Remember what the first "F" in "FSF" stands for?


        Stefan