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

Sollte nicht etwas in die GNU GPL aufgenommen werden, um zu verlangen, das System GNU zu nennen?