In another pull request?
And can you explain more this choice. Because, I don't know exactly what is the better choice and I'm not sure that we should overwrite the choice made by the user during git install. I'm open but I want more information on that.