Is it a good idea to add a special treatment of xmlns:lift attribute in <html> tag?
Reason for the question:
if I _use_ this attribute in templates, then it goes inserted into the rendered HTML.
For example, while using this template:
<html xmlns:lift="http://liftweb.net/">
.... <div id="main_content"> ... </div> ...
</html>
one would get
<div id="main_content" xmlns:lift="">...</div>
If I do _not_ use this template, then my IDE shows warnings about unknown HTML tag. Well, I know that it is considered as correct. But the ability to add xmlns:lift won't make it bad also.
Unformally, we know that almost all tags in Lift are not special and are handled generally.
But, <lift> isn't ! We _have_ <lift> tags. So, it seems logical to me to treat <html xmlns:lift> in a special way, too.
Any thoughts about this?