> делает твой код распространяемым и под GPLv4 тожеРаспространяемым да. Но лицензию GPLv3 это не отменяет.
> она отменяет действие GPLv3
Нет не отменяет. Считай это двойное лицензирование. Я распространяю под GPLv3 и под будущей GPLv4. При форке любой может выбрать одну из них. Но это не запрещает другим выбирать GPLv3 как и прежде.
> either version 3 of the License, or (at your option) any later version
Слово OR видишь? Это как раз даёт выбор в отличие от "only latest version".
Читай FAQ https://www.gnu.org/licenses/gpl-faq.html#VersionThreeOrLater
Более жесткое ограничение не ограничит тебя, так как ты всё ещё можешь выбрать версию 3 (at your option).
> этом ты можешь спокойно линковаться, это никак не мешает
Линковаться позволяет LGPL, но не GPLv2. Ты не можешь в свой GPLv3 проект включить библиотеку GPLv2-only, потому что лицензия распространяется целиком на весь проект и запрещает другие лицензии. GPLv2-only является несовместимой с GPLv3. Специально в FAQ есть таблица совместимости. Как раз для совместимости и был придуман плюсик.
> Жесткое указание лицензии позволяет избежать разночтений
Это просто двойное лицензирование по сути я могу выложить и под GPLv2, и под GPLv3, и GPLv4. Но как приложить версию которая ещё на писана. Её невозможно написать сейчас, потому что неизвестно какие фокусы в будущем придумают копирасты вроде тивоизации.
> ядро Linux лицензировано как v2, а не v2+
Линусу было всё равно на лицензию когда он создавал ядро. Сейчас всех разработчиков попросить поменять свою лицензию на код нереально, поэтому никто и не будет менять ядро на GPLv2+. А так как ядро продукт сам в себе и с ним никто не линкуется, то и проблемы нет.