Технические различия между терминами Linux и GNU/Linux и причины устоявшейся терминологии