don't overwrite common ssh pipe if another active connection made it
make 'git difftool' remind me what I'm looking at between merge markers