I guess it's all good then, maybe this bug was fixed in the mean time, or I just misreported. Thank you for digging into this! -- Pierre Neidhardt https://ambrevar.xyz/