There are cases in HTML5 where one wants to simply put the name of an attribute in a tag, and for it not to be set to anything (specially for proprietary attributes). It would be useful if there was an option to honor this behavior so that, for instance:
<pre>
<a idl>x</a>
</pre>
Does not become:
<pre>
<a idl="">x</a>
</pre>
If there is already some way to do that, apologies. I was not able to find an option for it.