[leetcrew]

I dunno, if elon musk's next spacex project was called "death star", I might be a little concerned.

on a more serious note, people do choose the names for their companies/products. they could be totally meaningless, merely sound good, or convey something about the brand. it's not a rigorous argument, but nor is it ridiculous to wonder what they were going for here.