Closing pull request because of no more activity. Will reopen the issue if need arises.

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