Retire three prod-edx ERRORED users with equivalent, differently-cased usernames
Three production users currently are in the ERRORED state on prod-edx:
These users are ERRORED due to an already-retired user existing with a username that's equivalent except for case. For example, "UserName" and "username".
Figure out how to properly retire the three ERRORED users.
Manually rename the already-retired user (original and hashed)?
Run the ERRORED users through the entire retirement pipeline again.
Verify that each ERRORED user completed each stage successfully and is now COMPLETE.