PS: it seems that my sourceforge login is not "swix" anymore: now I see "uid23515" instead of my usuall name, for example under http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/phpmyadmin/phpMyAdmin-devel/ The SF staff is probably updating some things on the servers...