Pkg: unable to connect to (bad gateway) -- SOLVED

When trying to update in Pkg, I’m seeing:

Warning: could not download

And I’ve also checked and found what I think is the probable cause, which is that (which is evidently my local site; I’m in Taiwan) is showing a 502 bad gateway. The problem has persisted for at least the last 36 hours, so I figured it was time to post about it to draw attention to the issue…

UPDATE – it’s working again now, so problem solved.