Ok, do you want to push this change (removing the line)? If no, I'll try to do it in the following days. Le 2025-10-09 à 10 h 05, Andreas Schwab a écrit : > On Okt 09 2025, Antoni Boucher wrote: > >> Could you try without it and see if it works? > > It does. >