Hi Konrad,

On ven., 26 mai 2023 at 13:15, Konrad Hinsen <konrad.hinsen@fastmail.net> wrote:
> Hi,
>
>> Should we fix the doc or should we fix the code?…
>
> I vote for fixing the doc. Two reasons:

What about this patch?