Many, many thanks! Both for the PR and being so fast. I’ve just applied it and everything looks good now!