Como administrador, puedes cambiar su nombre de usuario manualmente. Simplemente ve a su perfil y edita el nombre de usuario. 
Pero creo que también debería ser único, así que tal vez solo reescribe anon a deleted_user y conserva los números.
Como administrador, puedes cambiar su nombre de usuario manualmente. Simplemente ve a su perfil y edita el nombre de usuario. Pero creo que también debería ser único, así que tal vez solo reescribe anon a deleted_user y conserva los números.