Почему некоторые считают правильным использовать наименование gnu linux вместо linux