Migrated HTML 4.01 DTD to just plain old HTML doctype