On Tue, Feb 10, 2026 at 10:17:21AM +0100, Patrice Dumas wrote: > In HTML output, lang could be completely avoided instead of being an > empty string. I do not have a strong opinion here.
I've committed a change to omit the lang attribute if the document language is unknown.
