HTML info

[Yuan Fu]

I’m a bit confused. In order to have variable-pitch info’s. What do we need to 
do and what do makeinfo maintainers need to do?

Disregard of where will the HTML info files be, whether they will be in a 
single file, whether distributions will distribute HTML info files, what do we 
need to do in order to at least support reading HTML info files like .info 
files?

Is it a good idea that we start from a major mode Info-html-mode that can view 
manuals in either a single or multiple HTML files, that supports various info 
commands?

Yuan