On Fri, 2025-03-14 at 16:45 +0100, Jean-Marc Lasgouttes wrote: > Another question : what is your operating system ? (I wonder whether it > could be related to end-of-line characters). > > JMarc At another message of this thread: ... Windows ARM 64 with a Snapdragon(R) X 10-core X1P64100 @ 3.40 GHz 3.42 GHz. -- José Abílio