Sourceforge seems to have borked parts of the WordPress CVS repository, replacing files with files from other projects. Needless to say, this makes the CVS a little more bleeding edge than normal. …