I think @benjaminvialle doesn't want to mix patch code with formatting code because it is hard for the reviewers to see the changes on Github (as Github doesn't show the diff with --ignore-space-change)...