Sorry, I had merged this just a few hours before receiving your e-mail. Too late to fix the commit message I guess, isn't it? -- Pierre Neidhardt https://ambrevar.xyz/