root/pypi: links for proofnest-anchor