Hey, thanks for the nice hug, everyone! It's been a fun night. :) I updated the mirror that ewoodrich referenced; what was up there before was a slightly older

Hey, thanks for the nice hug, everyone! It's been a fun night. :) I updated the mirror that ewoodrich referenced; what was up there before was a slightly older version. The new one has a few more pages in it and a few typos fixed here and there. I've also swapped out the page on my site with a redirect to the mirror, since my web hosting service has rebooted the server twice now. The mirror is on my faculty web space at work, so we'll let them worry about it now! :) No worries, though. Glad you all are finding the materials useful.