Désolé pour cela, @zogstrip travaille sur une correction, cela ne devrait pas prendre trop de temps.
@RalfJung, restons en suspens ici ; une fois notre correction en place, si cela ne résout pas votre problème, nous pourrons procéder à un débogage plus approfondi.