@saint-loup Good catch! That was old code, not noticeable in my usual browser. It's gone now.