Update tools_hosted_in_github.md