updater: download of latest weekly channel mpv build fails.

[mrplumber]

My settings.xml:

<settings>
  <channel>weekly</channel>
  <arch>x86_64</arch>
  <autodelete>false</autodelete>
  <getffmpeg>true</getffmpeg>
</settings>

updater.bat output:

Running script without administrator privileges
Checking Windows PowerShell version -- 7
Fetching RSS feed for mpv
Newer mpv build available
Downloading mpv-x86_64-20231105-git-7480efa.7z
7z already exist. Skipped download
Extracting mpv-x86_64-20231105-git-7480efa.7z

7-Zip 23.01 (x64) : Copyright (c) 1999-2023 Igor Pavlov : 2023-06-20

Scanning the drive for archives:
1 file, 116262 bytes (114 KiB)

Extracting archive: mpv-x86_64-20231105-git-7480efa.7z
ERROR: mpv-x86_64-20231105-git-7480efa.7z
mpv-x86_64-20231105-git-7480efa.7z
Open ERROR: Cannot open the file as [7z] archive


ERRORS:
Is not archive

Can't open as archive: 1
Files: 0
Size:       0
Compressed: 0

Updater script downloads HTML webpage instead of file.
As a workaround I changed user agent in updater.ps function Download-Archive:

Invoke-WebRequest -Uri $link -UserAgent "Wget" -OutFile $filename

This works OK now.

[Pentaphon]

@shinchiro I also get this issue.