diff --check: explain why we do not care whether old side is binary