But rewriting the patches now would be a huge amount of work.

Wasn't intending to suggest that you do that now.

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