#24584: replace dead link with pointer to archive.org.
1 file changed