add ability to xref w3c html (and remove some dead references)