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
