I'm wondering why the following texinfo tags do not produce visible output in HTML:
@settitle @copying @titlepage I can see that the info is buried in <meta> tags with the @settitle contents appearing inside <title>, but it seems to me that such information, especially since Texinfo is designed for manuals, should be prominently displayed as <h1> and as a small paragraph below it. -- Jean-Christophe Helary @jchel...@emacs.ch https://sr.ht/~brandelune/
