Is anyone else getting a 404 on https://download.racket-lang.org/releases/7.1/catalog/ ?

That page is 404 for me too

That URL by itself won’t work, but content such as https://download.racket-lang.org/releases/7.1/catalog/pkgs will work

One of my staff was trying to install a package via DrR -> File -> Install packages, and got Resolving "gregor" via <https://download.racket-lang.org/releases/7.1/catalog/> tcp-write: error writing system error: Socket is not connected; errno=57 context...: /Applications/Racket/collects/openssl/mzssl.rkt:1016:0: pump-output-once /Applications/Racket/collects/openssl/mzssl.rkt:1042:0: pump-output /Applications/Racket/collects/openssl/mzssl.rkt:1472:8: loop /Applications/Racket/collects/openssl/../racket/private/more-scheme.rkt:261:28 /Applications/Racket/collects/net/http-client.rkt:67:0: http-conn-open!10 /Applications/Racket/collects/net/http-client.rkt:272:0 /Applications/Racket/collects/racket/contract/private/arrow-val-first.rkt:428:3 /Applications/Racket/collects/net/url.rkt:195:0: <http://getpost-impure-port> /Applications/Racket/collects/net/url.rkt:302:2: redirection-loop /Applications/Racket/collects/racket/contract/private/arrow-val-first.rkt:428:3 /Applications/Racket/collects/pkg/private/network.rkt:59:3 /Applications/Racket/collects/pkg/private/catalog.rkt:218:0: read-from-server /Applications/Racket/collects/pkg/private/catalog.rkt:138:9: for-loop /Applications/Racket/collects/pkg/private/catalog.rkt:135:2: lookup-normally /Applications/Racket/collects/pkg/private/../../racket/private/more-scheme.rkt:261:28 /Applications/Racket/collects/pkg/private/prefetch.rkt:128:2 ... which led him to think checking that URL was important, hence the 404

if that’s a red herring, and it’s a different problem, then /shrug