Als Administrator können Sie deren Benutzernamen manuell ändern. Gehen Sie einfach zu deren Profil und bearbeiten Sie den Benutzernamen. 
Aber ich glaube, er sollte auch eindeutig sein, also vielleicht einfach anon in deleted_user umschreiben und die Zahlen beibehalten.