git-format-patch: the default suffix is now .patch, not .txt