This is very different. We were discussing the port of a GPL flash player written by a different author and released under the licence he decided on. You are not allowed to change his licence to adapt it to your whishes. It is GPL and will stay GPL. Without any exception allowing you to link it against some non-GPL Sputnik (except if part of the OS maybe).
This is a different case from, let's say, ambient where the author himself decided to add a few exceptions to let non-GPL applications linking against his "GPL" icon.library and workbench.library.
If anybody from the current ambient programmers had decided to do it, that would have been completly illegal.
