Category:Stars with proper names

This category associates tightly to the list of traditional star names, and more loosely to star designations.