gstreamer decoders

Re the patent licence case, after digging relatively carefully through the GPL
v2 and v3 text to find the precise text that contradicts you, I find you may
well be right. I.e. I can no longer support this earlier paragraph of mine:

"If you come to an agreement with the patent holder, then obviously you
must secure a blanket agreement that covers all your down stream users. If
the patent only applies in certain countries, then note that the GPL allows
code to be distributed with geographic exceptions set by the rights holder,
while (it seems, but am not certain) remaining GPL compatible."

It seems the *actual* obligations imposed by the GPL do not go that far.
Rather it seems that, as you say, it only affects licensees who promise the
patent holder to try restrict those they distribute to. Which, it appears, is not
the case for the MPEG-LA agreement.

I'm starting to think you're right.