Just curious if the CVS server is still down. I know there were problems last week, but I haven't heard anything new, and connections are being refused. Thanks. :-) Rainer