Replacing isHTML flag in DOM_Document with docType