What about "Linux"? It is also a registered trademark.

For Linux as well. In my opinion you shouldn't remain blind to the benefits of other operating systems