On Sun, Dec 19, 2021 at 11:25:00AM +0900, Jean-Christophe Helary wrote:
> > HTML validation requires a DOCTYPE that specifies a DTD. XML validation
> > requires the "xmlns" declarations linking XML namespaces to schemas. HTML5
> > eschews any schema declaration at all because WHATWG (if I remember their
> > name correctly) decided to "move fast and break things" instead of properly
> > versioning their standards.
>
> Sure, but Patrick is not (if I understand correctly) trying to have exported
> documents validate properly in general, but to have some kind of internal
> validation now while he develops the new output.
>
> Once that is acquired, and we can declare that texinfo output is whatever
> form of HTML that's been chosen here I fail to see why using "html" is wrong
> or problematic.
If that's the case that sounds like a good idea.