Downloading RestTools fails with curl
I think it chokes with
I replaced it with
http\HttpRequest which works just fine.
Maybe we should use even use the download method of HttpRequest, because it uses less memory to download files. But his requires more rewrite.
I also added more verbose error reporting in case something fails.