2023 WPILib installation error

I’m trying to install the 2023 WPILib but I keep getting this error:

System.Net.Http.HttpRequestException: A connection attempt failed because the connected party did not properly respond after a period of time, or established connection failed because connected host has failed to respond. (172.16.5.20:3128)
—> System.Net.Sockets.SocketException (10060): A connection attempt failed because the connected party did not properly respond after a period of time, or established connection failed because connected host has failed to respond.


What should I do?

Where is the error appearing? What was the last thing you did before it gave you that error?

Are you behind a school or work firewall or proxy or something that is redirecting connections? What happens if you try the installation at home?

In the installer, I go through the process (open it, click “everything” for the install mode, click “install for this user”, and then click “Download for this computer only”)
and then it says “Downloading VS Code for the current platform. Please wait.” After a few seconds, it gives me the error message.

I already disabled the school firewall, and I haven’t tried it at home.