doc-diff: replace --cut-header-footer with --cut-footer