The problem isn't with the source code but with the binary. The GPL doesn't allow additional restrictions on what the user can do with it after getting it, whe

The problem isn't with the source code but with the binary. The GPL doesn't allow additional restrictions on what the user can do with it after getting it, whether it was paid for or not. That's what the developer filed the complaint over.