config.txt,diff-options.txt: porcelain vs. plumbing for color.diff