Added most up-to-date version of html_basic.xsd