Ugh.

With a 13 character minecraft name ---> that just does not fit into a 12 character limit xbox profile name.

And it seems the migration to Microsoft wants to add numbers at the end, e.g.

   Minecraft ->  123457890123
   Microsoft ->  12345789012
   Microsoft ->  12345789012ABC  (final name after three characters added at end).

This seems halfbaked.