fishbed wrote: Trying to download: tools-windows-9.2.2.exe.tar (also tried with tools-windows-9.2.0.exe.tar - again the download stopped, but on a different percent)
As a general rule, for myself anyway, I try to always use wget to download larger files vs. using a Browser. (I'm old school and enjoy using the command line. 
) I do this regardless of what OS as wget is available for Unix, Linux and Windows etc. Not that the Tools file is that large but I'd still try getting it with wget if you can't successfully download it with a Browser. If the download fails partway for some reason or you needy to stop and then restart the download use the -c option when starting the subsequent download so it will pick up where it left off.
Have a look at: Wget for Windows