Henry, assuming the release is OK and that you get it out today, if you could please execute the following command cvs tag release-20011005 I'd like to get in the habit of tagging releases. I'm off for the day.