guix is trademarked

[Adam Pribyl]

I am not sure how big problem this could be, but I found today that guix 
name is probably trademarked http://rtos.com/products/guix/