diff.c: emit_diff_symbol learns DIFF_SYMBOL_WORDS[_PORCELAIN]