It seems wrong to use @acronym{GNU} three times in the @copying text, when it isn't used in many more places -- including one other place in @copying.
Personally, I'd just eliminate all uses of @acronym instead of trying to keep it consistent. Few GNU manuals use it. karl