I understand that this was sorted out, closing here. Re-open if there are still issues to look at.

—
Reply to this email directly or view it on GitHub.