forget it; let's just use curl.exe

curl.exe ships with Windows 10 1803+ (April 2018) and Windows Server
2019+; anyone running a supported version of Windows should have it

Author: yihui

tools/install-bin-windows.bat

@@ -2,6 +2,6 @@ where /q powershell || echo PowerShell not found && exit /b
 
 cd /d "%TEMP%"
 
-powershell -ExecutionPolicy Bypass -Command "Invoke-WebRequest 'https://tinytex.yihui.org/install-bin-windows.ps1' -OutFile 'install-bin-windows.ps1'"
+curl.exe -fsSLO 'https://tinytex.yihui.org/install-bin-windows.ps1'
 powershell -ExecutionPolicy Bypass -File "install-bin-windows.ps1" %*
 del "install-bin-windows.ps1"

tools/install-bin-windows.ps1

@@ -1,23 +1,5 @@
 $ErrorActionPreference = 'Stop'
 
-function Invoke-DownloadWithRetry {
-  param([string]$Uri, [string]$OutFile, [int]$MaxRetries = 10, [int]$RetryDelay = 30)
-  for ($i = 1; $i -le ($MaxRetries + 1); $i++) {
-    try {
-      Add-Type -AssemblyName System.Net.Http
-      $f = [IO.File]::OpenWrite($OutFile)
-      [Net.Http.HttpClient]::new().GetStreamAsync($Uri).Result.CopyTo($f)
-      $f.Close()
-      return
-    } catch {
-      Write-Error $_
-      if ($i -gt $MaxRetries) { throw }
-      Write-Host "Download failed (attempt $i of $($MaxRetries + 1)), retrying in $RetryDelay seconds..."
-      Start-Sleep -Seconds $RetryDelay
-    }
-  }
-}
-
 # switch to a temp directory
 cd $env:TEMP
 [Environment]::CurrentDirectory = $PWD.Path
@@ -57,7 +39,7 @@ $DownloadedFile = "$TinyTeXFilename.$BundleExt"
 
 # download the bundle
 Write-Host "Download $BundleExt file..."
-Invoke-DownloadWithRetry $TinyTeXURL $DownloadedFile
+curl.exe -fL --retry 10 --retry-delay 30 -o "$DownloadedFile" "$TinyTeXURL"
 
 # unzip the downloaded file
 Write-Host 'Unbundle TinyTeX'