root/pypi: links for devin-tools