Good for git? Gotcha comment is not useful when the industry (as far as I've seen) isn't using git to write manuals.