I tried to use the lang attribute on an element in a documentation comment. Doclint (as part of the javadoc command) rejects that. I know I could suppress HTML errors in general, but I want to be told actual HTML errors.
This answer from 2015 lists allowed HTML tags, but I couldn’t even find a list of allowed attributes on tags.
Currently, for my specific problem, I added a custom taglet that transforms {@foreignterm de Hallo Welt} into <i lang="de">Hallo Welt</i>, but that’s not really close to optimal.
So I wonder how I could use <i lang="de">Hallo Welt</i> in a documentation comment. If it’s just not possible, which HTML attributes are allowed in Javadoc?