Thanks for the heads up! I think the patch is ready to be committed. I'll do it tomorrow or Thursday, when I find the time. -- Pierre Neidhardt https://ambrevar.xyz/