No.  That's PR #416.  I should have pushed this PR on a separate branch, so if/when you merge #416, I'll rebase from upstream and then re-push to this PR.  Pushing them on separate branches would have made more work for you, so I'm just trying to avoid any manual merging on your end.