Works for me, did you try the torrent?
It works now, guess as the other poster said, it was a transient archive.org issue.
alt Hacker News
It works now, guess as the other poster said, it was a transient archive.org issue.