mail sent on devel-list on 08 Oct 2003

There some things that could be said with the star name. Using a variable star for 1.7 could had funny implications, but we can play a bit more with that idea.

Some examples:

• Proxima Centauri (the closest star, but closest now will not mean closest in a year) or Alpha Centauri (also very close, the visible one, and well, could mean alpha quality as other alpha stars 😊
• Sirius (could be reserved till the time we get serious with it, also one the brightest in the local group, the (18/2) 9th closest star and its diameter is 1.8 times bigger than our sun)
• Rigel (have nice characteristics, like seventh brightest star, and magnitude 0.18, also is a triple star, with two minor companions, like tiki with partners, galaxia, and things like that, also is a supergiant, like Betelgeuse and Tiki 😊
• I think the right name of one of your stars is in fact Formalhault (bah, depend where you see it), and you can play nice word names over Formalhault (don't know.. tiki had a formal overhaul or things like that, english speakers could have better ideas 😊 but it could be reserved for future versions.
• Deneb is also an interesting star, and in some places or measures it could be the 18th brightest star.
• Albireo (?) or Beta Cygnus seems to be the 18th closest star, not sure if choose that for 1.8, but for 1.9 Procyon, the 19th closest star (?), could be a good name
• There are several stars that have magnitude 1.8, like Dubhe, Alioth, etc.

I wanted to vote for "Proxima Centauri", but I did a google search, adding "software download" keywords, and it turns out "proxima centauri" is already taken. So is "Sirius".

So I would recommend HR-9043