No title in HTML output

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
@[email protected]
https://sr.ht/~brandelune/