dead/packages: links for docker-tools