On Tue, Feb 16, 2021 at 03:46:46PM -0800, Per Bothner wrote:
* js-info sidebar shows too many entries (in my opinion).
Compare https://per.bothner.com/tmp/DomTerm-txjs/Tips-and-solutions.html
with https://domterm.org/Tips-and-solutions.html
[This requires changes to info.js which I can probably handle.]
I think this is because there is some incompatibility with info.js
and your manual.
If you create Texinfo's manual with
../tp/texi2any.pl --html texinfo.texi -c INFO_JS_DIR=js
you will see that there is not this problem and that the
current node is highlighted. See screenshot.