Bad Gateways, broken links, etc.

It seems that the problem with downloading the various pdf files has corrected itself. Could you all go try them and tell me if they're ok?

(I'm currently uploading the files onto FreeHomePages.com; but it seems rather unstable. Anyone with better suggetions? Geocities only offers 15 mb free, far too few for our needs.)