そのサイト見てみたら、Linuxって登録商標なんだって。