Other places I’ve seen this story they were talking about “Astronomer CEO”. I couldn’t figure how how people knew the CEO was an astronomer, and why that mattered. When I found out it was the name of his company, it made me wonder why everyone seemed to know this company except me.