This directory will be the home of some binaries which are downloaded with `make test` or `.../hack/check-everything.sh`.
