You're right... I was thinking back to 2000's SGI. It's hard to track of when / where these companies are. SGI buys Cray, SGI spins Cray out to Tera, Rackable buys SGI, HP splits, HPE buys SGI...

It's all crazy.

But yes, Cray still has some impressive gear independently.