HPE bought Cray, not HP
And this isnt really the original Cray. Its someone who bought Cray and started using their name (although they kept the original location open.) So there is precedent. https://en.wikipedia.org/wiki/Tera_Computer_Company
And this isnt really the original Cray. Its someone who bought Cray and started using their name (although they kept the original location open.) So there is precedent. https://en.wikipedia.org/wiki/Tera_Computer_Company