However, our general policy is that we don't make such changes unless we are also touching the code for other reasons.  So I think using this PR as a base for your feature PRs, and then committing everything together if they are accepted, would be the way to go.  I don't know if it would work to actually use it as a base for the other PRs in github, or if it would work better to just make it the initial commit in a commit series.  The github workflow is too new for us to have definite answers to such questions :)