...and as it happens, cvsup from cvs-master seems to be broken anyway. So it is a good time to close ctm-cvs-cur. I intend to keep the files for about a month, and then delete them. Is anyone going to need them after that?