These appear to have disappeared from the original server, so I acquired
the contents from a different mirror and uploaded them to our S3 bucket