Re: [help-texinfo] texi2any --html 5.1 Questionable Header Link

[Karl Berry]

    select "(dir)" makes the browser try to resolve ../dir/index.html or
    hostname:8080/dir/index.html

    Which errors out. Wouldn't pointing to ../index.html#dir be better?

Probably.  Thanks for the suggestion.  I was under the impression that
there was a customization variable to allow specifying where it goes,
but sadly, I'm not seeing that now.

    Next: Team Members, Up: (dir)   [Contents][Index]
    to having a space or two added between  [Contents]  [Index]

Yes, perhaps.

Thanks again,
Karl