Unable to understand how Git's difftool configs are set...