hello, so my friend has an inappropriate mc username, i guess you could say. he actually got a warning, i believe, but he didn't notice it till after he logged off because he had forgotten. he doesn't feel like changing it (and can't), so do they give him like an in-game nickname? because he doesn't really wanna be banned either lol. thank you!