12/08/00 (CWH) I put the file ./star-catalog/m31stars.html here to link to ./m31stars.html, since there are a lot of 404's in the web access_log trying to get that address. I tried to find the source of that bad address, with no luck. It seems to be a link from offsite.