git_notes.md: A bit more about git log and git diff