“Linux is a registered trademark of Linus Torvalds and is
administered by the Linux Mark Institute (www.linuxmark.org). The
LMI will grant sub-licenses of the Linux trademark to businesses
and groups that want to use the word Linux in their product.“When you refer to registered trademarks you are supposed to use
the ® symbol, or at the very least attribute the mark to its
owner. The folks over at GNU don’t do this, if you check out
www.gnu.org, there is no mention that Linux is a registered
trademark, and they do not make any attempt to attribute the mark
to Linus…”