On Sunday, 22 January 2023 19:33:53 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.

It would effectively change the license and I'm not in a position to make such 
a change.

Sorry for the noise.

Diederik