The html element has @xml:lang and @lang attributes, in that order. Spaces U+0020 are used as whitespaces in its opening tag.