Pulling Docker images: i/o timeout

It works now. However, we did not change anything on our side.