Broken file links

Note: This article has been edited several times as the issue developed.

A while back the web server that hosted this site was moved around a bit. When that happened, all of the file links became broken. I’ve just this evening copied the files over from a backup and fixed the links. All file links should work again. Yay!