Documentation: emphasise 'git shortlog' in its synopsis