Merge branch 'dl/difftool-doc-no-gui-option'