[slurm-users] Re: how to safely rename a slurm user's name