the CVS (because it could be re-generated) I thought it would be a
good idea to keep it inside. Hard-disk space has become cheap lately ...