> >or should I try to check in > >the changes (I can do that tonight)? > > That would be great. It's done. I haven't done a "make install" in all of the relevant directories, though, because once I change the /psa/ link all of the pages will have to be updated anyway. --amk