Updated documentation for HTML5 includes