I'm trying to grab some stuff from bitsavers.org. It seems to be failing to lookup name records. I'd send mail directly to Al, but the only address I have for him at at bitsavers.org :(