Documentation/git-tools: retire manually-maintained list