Comment by JJMcJ

RMS calls it Linux, not GNU/Linux in the second quote.