Just FYI for anyone getting an either a cloud flare proxy error, or an nginx 500 page, it looks like they’re having some trouble at the moment. I did get thru after a refresh, but probably not best to hammer them.
Archive.org was astonishingly quick:
https://web.archive.org/web/20230614125253/https://programmi...