Perhaps we should make a mended version of GPL that
would have exact
permissions like the original GPL license, but in addition would ask
that the software cannot be run on top of proprietary OS. This way, we
Sorry, meant to say commercial OS since obviously one could run such
software on OS X using X11, hence bypassing proprietary parts (or at
least most of them).
Ico