Full threadsuprjami·So what's the star called? Even if it's just a boring numbers-and-letters name it'd still be nice to know.View on HN