Hi Stéphane On Fri, 5 Dec 2025 at 06:12, Stéphane Glondu <glondu@debian.org> wrote: > I've just pushed a tentative fix [1]. Can you check and see if it suits you? Thanks! I'll try to test it this weekend and let you know. Regards Graham