docker_image: add some comments on the docker.pull() stream de-duping code