</html> followed by spaces (detailed review of Writing HTML documents)

(This is part of my detailed review of the Writing HTML documents section.)

The spec says about optional tags:

    An html element's end tag may be omitted if the html element is not
    immediately followed by a space character or a comment.

However, since spaces after the </html> tag will be inserted into the html  
element by the parser anyway, the </html> tag might well be allowed to be  
omitted when it is followed by space characters (but not when those in  
turn are followed by a comment).

-- 
Simon Pieters
Opera Software