> > Holy hell, Cray are still around??? > I was equally surprised some years ago. Apparently it is still relevant.