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

Shouldn't you put something in the GNU GPL to require people to call the system &ldquo;GNU&rdquo;? (#require)