root/pypi: links for hotopy