Good point, though we agreed with @mlschroe that we shouldn't go for reformatting this time so we don't complicate the `git blame` output.