yet another reason why the distinction between Linux and GNU/Linux is important