On 12/16/21 16:43, Patrice Dumas wrote:
Even if it is valid, I think that it is a good thing to be able to
produce HTML documents without custom attributes. That being said, if
it seems obvious that such caution is not a needed feature, it is
possible to revert commit cbce0c098353451c0a35d740ba503ba124621272.
Well, every option or customization variable has a slight cognitive cost:
People have to read and understand the documentation and decide what
settings to use. Setting NO_CUSTOM_HTML_ATTRIBUTE has a minor benefit
in terms of slightly leaner and cleaner HTML but is that enough?
--
--Per Bothner
p...@bothner.com http://per.bothner.com/
