>> +license {GPL-2+ GPL-3+} > > Then, the license correction indeed does not change anything in practice, but as the choice is explicitly given, I changed it for the sake of completeness. GPL-2+ completely envelops GPL-3+: why not just use GPL-2+ then?