After destroying a user, their name cannot be changed. Here are some examples:
- Unique ID of Android device
- ICustomTypeDescriptor, TypeDescriptionProvider, TypeConverter, and UITypeEditor
(only 10k+ and the not-extremely-easily-offended need click)
Since making a destroyed account editable would probably be a pain in the ass, I'd suggest the name of the deleted account be changed to something random, such as "Deleted" + some random number.