We all know that individual…

But still, formatting changed files on commit, even on CI ought to be a fraction of a second.