I'm just a third person in this situation, but here's the story.
Someone used to have username Xyz, then changed to Abc. Later, Jkl changed their username to Xyz. Abc had "Please don't steal Xyz" in really small font in their username, and hadn't used the name in forever. Should Xyz change their username back to Jkl, or can they keep it? Thanks!