The fact that the post does not link to https://www.gnu.org/gnu/gnu-linux-faq.en.html, makes it immediately suspect. That is a necessary resource to consult when talking about the GNU/Linux name.