> 
> Holy hell, Cray are still around???
>

I was equally surprised some years ago. Apparently it is still relevant.