Squashed 'tools/' content from commit d1daac4

git-subtree-dir: tools
git-subtree-split: d1daac4639cac3f1484ec88ad72947267bf0a0e6
Merge commit 'b4ce8cb5ed29a3628595d2a9d6a6c747b9f47c75' as 'tools'