This page is now at docs/tools/.