I think the source of problems with the naming scheme is how Celestia has been coded :
Currently, Celestia is using the HIP numbers as the internal way of identifying the various stars. To me, this is a source of problems. IMO, it would be better to use an independant internal numbering scheme, and use the HIP numbers in the name definition only (that is enclosed between " ", in the STC files).
I suggest that the code be changed (with backward compatibility in mind) so that the arbitrary internal numbers become completely independant from the HIP numbers, and the HIP are only introduced via the names enclosed in " ". That way, we could use ANY number in front of the name, in any STC file, and the HIP is defined IN the name itself only. We could then select a star using its real name in the command line (as we should anyway), and NEVER see the internal number used by Celestia, in the upper-left corner.
Chris, is that possible ?
EDIT : There may be some problems with stars without a name. I already have some addons made a long time ago by Rassilon, who defined lots of fictious stars in some globular clusters (M4, M22, for example). How the name should be indicated in the upper-left corner, in these cases, if some stars doesn't have a name declared in the STC file ? The only way I can see is to show the actual internal number used by Celestia (if no name have been declared), with a clear sign that there are no real name declared in the STC file, something like this (in the upper-left corner) :
This even has an advantage : the user could then know that this star is a fake one !
"Well! I've often seen a cat without a grin", thought Alice; "but a grin without a cat! It's the most curious thing I ever saw in all my life!"