Continuing the discussion from Unauthorized using CircleCI credentials for pulls from Docker Hub again: