How can I change my username? Is it possible? I don't know of any way to change a user name. The only administration script I can find to do it looks like it is years stale. (For the record: infra/maintenance/rename_user.sh, per http://savannah.gnu.org/maintenance/RenamingAccounts.)
We can delete an existing account so you can create a new one, if you want. Sorry. Best, Karl
