This actually can't be specified this way universally for install.sh, because it's used for more than just "https://get.docker.io/", with different GPG keys.  If it were surrounded by a test like `if [ "$url" = "https://get.docker.io/" ]; then` with the else being what we've got now, it would work alright until/unless we can figure out something better or cleaner.