Planet Name?

[Arengaur]

In the campaign setting book, it says: "The many residents of Highpoint refer to the world at large by a number of names in several different languages, but we will keep it simple by referring to it simply as DragonMech." Have we ever actually gotten any of those names? Do actual NPCs call the planet DragonMech? I'd like my NPCs to be able to name the planet when talking to players.

[mythfish]

I don't believe it's ever been officially named, so name it whatever you want to!