" 

 ::: If you think the controversy does not depend on the issue, you're free to name this just ""GNU/Linux naming"", which is shorter, embraces both topics and still avoids the conflictual tone.   "