Hi, While tidying up my local repo I discovered some changes that did not get properly pushed to master. It is all my fault, my patch back then was humungous. You can commit the patch under the terms of MPL 1.1 / GPLv3+ / LGPLv3+ triple license. /Albert