Ludovic Courtès writes: > This is fixed in ef2b9322fae1d03bf639924d12214b0f58c11054 (it was > introduced hours before). Thanks! -- Pierre Neidhardt https://ambrevar.xyz/