On Sunday, 22 January 2023 19:31:17 CET Diederik de Haas wrote:
>      Alternatively, the contents of this file may be used under the
> -    terms of the GNU Public License version 2 (the "GPL"), in which
> -    case the provisions of the GPL are applicable instead of the
> +    terms of the GNU General Public License version 2 (the "GPL"), in
> +    which case the provisions of the GPL are applicable instead of the

Please disregard this patch.

I was wrong to initially see this as a spelling error and I now see that my 
change would actually change the license, which I can't do (afaik).

It might be seen as a reasonable assumption that the GNU *General* Public 
License was meant, when it comes to legal/license material, one should not do 
that. 
See https://lore.kernel.org/lkml/2281101.Yu7Ql3qPJb@prancing-pony/ for details

Apologies for the noise.

Diederik