Comment by mileswjohnson

Yeah, we kind of regret mentioning Bazel in the original post, but we can't change it now.