Either way, we should contact someone at the FSF to get a clear answer
no, please don't take up their time over something like this.
They're an over worked bunch with tasks more important than answering questions from people that won't RTFM.
The answer is probably here: http://www.gnu.org/licenses/gpl-faq.html