File names can be renamed about winbindex

[m417z]

Unfortunately I'm afraid I can't change that since the files are hosted on Microsoft's servers. Perhaps somebody will come up with an way to control the filename.

[zbalkan]

I was mentioning changing on the fly. It's not possible to change the file name but it is possible to change the name in the save dialog. Content-Disposition handler can be helpful on those scenarios.

[m417z]

That would require to add a proxy server, unless you had something else in mind. If you can create a JSFiddle that demonstrates how a file from the Microsoft Symbol Server is saved with a sane name with only client side code, that would be great.

[m417z]

I created a sloppy userscript to help with that:
https://gist.github.com/m417z/3c6016b0c9d42b3a8692874d28954786

After installing it, files downloaded from Winbindex get file names that make sense, such as explorer_10.0.22621.1344_x64.exe.

[zbalkan]

Tried and checked. Looks great.