How to tell HTML from HTML5