bitsavers hasn't auto-redirected in years, but it is random where the search engines will pull from a mirror.