root/pypi: links for lean-contracts