Documentation: git-rev-list's "patterns"