Note in overview that JGit is included in the git-client-plugin

May avoid others from bundling a copy of JGit themselves.