Needless to say, waiting a bit and trying again doesn't help. Searching for this error code gives suggestions for turning off antivirus (I'm running windows defender; I tried turning it off, no change) or turning on personal firewall (I tried with it on and off, no change).