Robert Brockway wrote: > > Proper names of stars are always good because their are memorable (people > have heard of them) and the namespace is big. This has the added > advantage that clusters can be named after galaxies ;) > Does that mean I have to use Arnold instead of Arnie? -- Regards, Harry Phillips