root/pypi: links for html5lib42