I'd like to humbly second this request... and specifically, that I more often use git in fear rather than confidence, especially when I'm working with ghc. This is perhaps inevitable -- a complicated system requires complicated tools. But, any help here is greatly appreciated.
That line confused me. I thought there was a new command `add/commit`! It didn't take too long to unravel the meaning, but I'd like to request that we avoid *any* abbreviations, especially in typewriter font.