On Mon, Jan 9, 2023 at 1:59 PM Jean Louis <bugs@gnu.support> wrote:

> Solved for me. It can be closed.
>

Done.