Actually, how does that work? In my non-lawyer understanding, GPLv3 already says the end user must be allowed to actually run the code, to the point where the iOS app store can't have GPLv3 apps in it. So... does this change mean that GPLv3 apps can't legally be shipped for Android?