dead/packages: links for html5lib42