@lxo @gaveen Or how about we acknowledge that “Linux” is just a simple and convenient name for everyday people to use in everyday conversations to refer to this family of closely related operating systems, not some sort of indication or assignment of any sort of credit backed by any sort of propaganda, and just move on with our lives?