My Minecraft Gamertag (under Settings/Profile/Gamertag) changed from Steve to one of the autofill random names (tonedketchup613). This random name was what came up when I recently signed on to Xbox and created a profile to play on the servers. I changed the random Xbox name to my own homemade name, but somehow my Minecraft game still has the random name tonedketchup613 as the Gamertag.

I tried the button "Edit Gamertag", but that just takes me to Xbox which properly reflects my homemade name. I logged into my Mojang account and that has a completely different homemade name/profile and is fine.

How do I edit the name showing under Settings/Profile which shows when I play Minecraft (not on the external Xbox servers), but locally?

(Note: I seem to have 3 Minecraft related names… Minecraft Game, Mojang, and Xbox – I need help with the first.)