Are we done with this issue and can close it?

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