Renaming users from 'gislab<number>' to 'lab<number>'.