En tant qu’administrateur, vous pouvez modifier leur nom d’utilisateur manuellement. Il suffit d’aller sur leur profil et de modifier le nom d’utilisateur. 
Mais je pense qu’il doit également être unique, alors peut-être juste réécrire anon en deleted_user et conserver les numéros.