Now, the lack of output is (yet another) manifestation of
The error message from DownloadFile (and then from Expand-Archive etc) can be seen further below in the log (I found it searching the raw log for “DownloadFile” after checking locally what an error message from WebClient.DownloadFile looks like):
Exception calling “DownloadFile” with “2” argument(s): “The request was aborted: Could not create SSL/TLS secure channel.”
Looking up this error message shows that it’s usually solved by explicitly specifying TLS version(s) for .NET to use.
Alternatively, you can use a more user-friendly web client to download the file like curl, wget (which are preinstalled) or Python’s functionality.