Z:gnu-www-ja-gnu-linux-faq--dc88f0-=3Ca href=3D"=23require" id=3D"TOCrequ/es

¿No deberían poner algo en la GPL de GNU para obligar a las personas llamar al sistema «GNU»?