I solved the problem differently, but your suggestion still makes sense.
Would you mind making it a proper patch, using "git format-patch", with
a proper commit message? Don't forget to add TINYCHANGE cookie at the
end if you haven't signed papers yet.
Kaushal Modi