I have a user who signed up using his real name, requested his account be deleted for privacy reasons, and even after deletion, his content still exists under his real name, just that now he's a "guest". Needless to say, he's throwing a hissy fit because being a "guest" does nothing for his privacy as his username is still his real name. How do I change his username, especially now after his account has been deleted?