@jonty removed from archive.org as well, it seems.