Well, actually I think they know that fact very well, thats why they've dropped the Novell coupons
like hot potatoes.
Microsoft has unilaterally changed the conditions for the Novell Suse certificates that the company sells to its customers....
Microsoft has decided that the Novell support certificates that we distribute to customers will not entitle the recipient to receive from Novell, or any other party, any subscription for support and updates relating to any code licensed under GPLv3.
Yeah, they've tried to weasel their way out of it.
Microsoft's approach seems more on the lines of what they can get away with, by bullying or buying. (Witness the ISO OOXML fiasco: just another in a long line of examples.) I think they decided they needed to add some weaseling and extra bluster to their FUD, to try to get around the GPLv3. If memory serves, Novell has stated they'll provide GPLv3 code for the coupons, despite MS's insistence otherwise.
I'm glad to see the FSF addressing MS's claims that the GPLv3 won't apply to them. With the Novell and other more recent deals, they (and those distros) have attempted to evade the GPL's terms, violating it's spirit at the least. GPLv3 addressed that; I think it's important that the FSF point out that, yes, the GPLv3 means what it says, and if you distribute GPLv3 code, you're bound by the terms of the GPLv3.