Как администратор, вы можете вручную изменить их имя пользователя. Просто перейдите в их профиль и отредактируйте имя. 
Но, по-моему, оно тоже должно быть уникальным, так что, возможно, стоит просто переписать «anon» на «deleted_user» и оставить цифры.