Any reason to use just an old doctype here? It seems to me that if we are introducing new files, we might as well use the html5 doctype.