That's a grave danger. (Of course, adding newer restrictions to the GPLv4 would't change anything, as users could still be bound by the v3 thanks to the word "

That's a grave danger. (Of course, adding newer restrictions to the GPLv4 would't change anything, as users could still be bound by the v3 thanks to the word "or". The real problem is removing conditions, such as the right of the users to get the source code).