Do you want to commit this change? Isn't it just a nicety for developers? And we can always do this in our own code while we are working?