It is correct to refer to GNU/Linux as GNU/Linux | Hacker News Reader