Okay, that's awesome. I hadn't known all of the correct details of that one (assuming that the linked Wikipedia page itself is correct). The version of the story I'd heard (many years ago) is that the other products code-named at the same time were other astronomers, such as Copernicus and Galileo. The details listed in the Wikipedia page significantly change my opinion of the story. Before, I thought Carl really would have been a butthead for suing them. But now I see that he was actually insulted by the pseudoscience insinuation. Having read his treatises on his personal dislike of pseudoscience, it makes perfect sense that he'd want them to stop using his name in that context, and now I'm sad that he lost the suit.