Code

git-add/rm doc: Consistently back-quote