[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"]

Use the link to edit user in /siteadmin/userlist.php.

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?

Karl writes in this recent discussion (http://lists.gnu.org/archive/html/savannah-hackers/2016-05/msg00043.html):