Closing to keep the tracker with only active issues. Re-open if it pops up again.

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