More modest 'better git log' 8a83033