* maint: update-server-info: Shorten read_pack_info_file() Documentation: Explain git-mergetool's use of temporary files