Hmm yeah. Maybe they could mention the /realname command under the tp request, just so the player knows what to expect. I mean like, saying something like "You should've usen the /realname command ha, ha, ha!" is just easily putting it aside. Especially saying that to new players seems kinda sad...