Martin Ågren <martin.agren@xxxxxxxxx> writes: > Your reading seems correct, so I was wrong in my speculation. My guess > is such a patch would be welcome. I checked a couple of man-pages and > this one seems particularly heavy on 'git foo' as opposed to `git foo`. > I think that's a reason to fix it, not to leave it behind. Sounds sensible. Hopefully there isn't a topic in flight that wants to change this file, so it may be a good time to do a wholesale cleanup of it.