In

we decide whether or not to set CURLOPT_NOBODY based on whether or not the user specifies an output. On the one hand, that makes sense, and lets the caller decide whether or not to set CURLOPT_NOBODY in a simple and intuitive way. On the other hand, HEAD responses should reply with a Content-Length if the GET would but should not return a body; if additionally CURLOPT_NOBODY is not set, this this will cause hangs. Thus, I wonder if Downloads.jl should set CURLOPT_NOBODY for HEADs automatically.

xref JuliaCloud/AWS.jl@a481a46