Hello, I believe this version of the patch should address all the concerns you raised. On Tuesday, January 31st, 2023 at 08:19, Nicolas Goaziou wrote: > > + (license license:gpl3))) > > License is actually GPL3+. For future reference, where do I look to differentiate GPLv3 from GPLv3+? I do check that, but obviously I sometimes miss it. Thanks, Juli