CURL output can be directed to file via parameter --output.

[Finishes #72659362]