For Carl Sagan to have learned the internal code name of a computer, it seems likely that the code name was leaked to the outside of Apple. According to the art

For Carl Sagan to have learned the internal code name of a computer, it seems likely that the code name was leaked to the outside of Apple. According to the article, this happened in a 1993 issue of MacWeek.