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

Solved for me. It can be closed.

Done.