Z:gnu-www-ja-gnu-linux-faq--372e78-Shouldn't you put something in/es

¿No deberían poner algo en la GPL de GNU para requerir a las personas que llamen al sistema «GNU»? (#require)