So I guess it won't make any harm to support "diff header"
prettification for Git diff output only: