Comment by KyleGospo

We don't consider ourselves a distribution and linux is mentioned all over the rest of the page.

It said Linux before but apparently that wasn't clear that it's an operating system, less is more sometimes.