https://digitalixy.com/zh-TW/tech/maude/139287/the-great-debate-is-it-linux-or-gnulinux/