Here is the experimental branch

Github says it won't be able to automatically merge these branches. If you want these changes, it might be easier to do it another way. If you make another remote branch called "test" or something that is just a copy of master, I can submit the pull request into that branch so you can try out the merge if you want.