(diff-hunk-header-re): Refine the regexp.