root/public: links for docker-tools