Re: Any interest in using HTML for locally-installed Texinfo documentation?

[Pronaip]

Not directly connected, but have yall seen how rust packages its documentation? 
Personally I am REALLY not a fan of everything running in a separate browser, 
one browser is more than enough. But as long as there is one browser, why not 
generate a searchable index that uses JS the way Rust did it?
And if people can't run JS, they can just grep through the folder with all the 
HTML files.