I wish they would maybe capitalize the proper nouns in this post. On first readings, not knowing Astronomer is the name of a corporation, I thought they were just referring to a CEO that also happened to be an avid stargazer -“What a strange detail to include…”.