but it is better to call it “GNU/Linux” so as to give Torvalds some credit.

Haha stallman has been crying for thirty years about not getting enough credit compared to Torvalds, and here he is so graciously encouraging people to give him even more credit.