My two cents: GNU/Linux == Linux. Whatever the history, whatever credit GNU deserves, the common moniker is, and will continue to be, Linux. Roll with it. --Jason