Pretty rare for me to see a case with Apple where I feel it’s the other party being overly litigious about trivial naming!
As much as I respect Carl Sagan for his contributions to science (and promoting public knowledge of scientific concepts), he does sound like a butt-head.
I think Apple engineers were being butt-heads when they got annoyed at this and renamed the project "BHA".
But that should have been as far as Sagan went; suing for libel because someone calls you a "butt-head" is really foolish.