PRs were merged, we don't need the patching anymore