@MartinSleziak Thanks, Martin. I'll look into other mentions of that URL on the internet to see if we can find further history.

The site Gregory Chaitin - Academia.edu has a number of downloadable resources (recently updated page).