Old trademarks never die…

They just fade away.

Mostly.