@andreasdotorg Upsetting to see them effectively DoS the service when they’ve could do it in a much more reasonable manner. archive.org is a treasure for so many historical computer resources that aren’t really available anywhere else anymore.