On Tue, Jan 01, 2019 at 05:46:11PM -0800, Per Bothner wrote: > On 1/1/19 1:49 PM, Gavin Smith wrote: > >Thanks for working on this. What else needs to be changed so that the > >output is valid for HTML 5? > > It's worth clarifying that all of the changes in my patch produce valid HTML > 4: > Using 'id' attributes on arbitrary elements is part of HTML 4, and I believe > it has been supported by all non-toy browsers for 20 years.
In that case it seems better to make the changes unconditionally. I am not keen on the idea of having an option to output to different versions of HTML.
