I keep getting complaints about a missing CVS directory inside Extensions (a directory recently added). Can we either add the null CVS dir or remove Extensions from the CVS tree? -- Robin Becker