move bit about git diff for latex to the main document