Re: modernizing html output

[Gavin Smith]

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.