Re: modernizing html output

[Gavin Smith]

On Mon, Dec 31, 2018 at 01:14:28PM -0800, Per Bothner wrote:
> It wraps all nodes (anything processed by _convert_heading_command) in a 
> <div> block.

> -  $result .= "<a name=\"$element_id\"></a>\n" 
> +  $result .= "<div cmdname=\"$cmdname\"";


What is the thinking behind the 'cmdname' attribute?  I could find no 
reference to this attribute on the web, e.g. nothing at

https://developer.mozilla.org/en-US/docs/Web/HTML/Element/div

or

https://developer.mozilla.org/en-US/docs/Web/HTML/Global_attributes