[aredridel]

Interesting. What's the difference to you? Git's extensions are shell (or whatever other language) tools is all, in my mind.