> I guess they really just didn't want a product name to start with the name of a competitor's product.

Probably, but I doubt linux wants it either. People might think it's some official linux product.