Closing this one, as it seems fixed. Re-open if the issue appears again.

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