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
