Documentation: Explain git-mergetool's use of temporary files