If you are looking for jimmc's files that used to be housed at alumnus.caltech.edu, they are here in ~jimmc.