[bug-diffutils] bug#17075: bug#17075: diff - - exits immediately

[Karl Berry]

    More generally, I'm not sure it's necessary or wise to describe exactly 
    the optimizations 'diff' uses to avoid reading files.  

I completely agree and that was never (intended to be) my suggestion.

k