I was responding to this:
"One thing I think he did have right is that Stardock’s new trademark claims require Accolade to have used the names as brand identifiers. I can’t find any evidence that it did.
And even if it did, then you get to the question of whether they were abandoned by Atari."
The last line is what let me to believe that he was talking about the Star Control name itself.