diff-no-index: do not take a redundant prefix argument