Re: CVS nightly snapshots?