Fix and update tools.md#2116

Dmole wants to merge 1 commit intomicrosoft:gh-pagesmicrosoft/language-server-protocol:gh-pagesfrom

Dmole:patch-1Dmole/language-server-protocol:patch-1Copy head branch name to clipboard