Update tools.json#700

Stephan-P wants to merge 1 commit intoalam00000:mainalam00000/bentopdf:mainfrom

Stephan-P:patch-3Stephan-P/bentopdf:patch-3Copy head branch name to clipboard