No title in HTML output

[Jean-Christophe Helary]

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
@jchelary@emacs.ch
https://sr.ht/~brandelune/