[We need to define a policy about whether it is OK to rename accounts. Since accounts can be removed and then recreated under a different user name, I guess it is OK. Something like a redirection, or a way for Savane to say "this user Y was called X previously between 2005-01-01 and 2006-02-03"]
Check infra/maintenance/rename_user.sh
We could also change the projects CVS files to change the user name associated with each change. Is there a cvs command to do that and is it pertinent?