For a new tool (similar to galaxy tool) I want to store the planets of a player, since both name and location are not permanent due to namechanges and relocation, I figured that I could use the planet-id that is present on lots of pages and in the XML APIs.

Though I have a question: Does the unique planet-id remain the same when you successfully relocate a planet?