root/dev-pypi: links for galaxy-server