As usual, this is the `WORKSPACE` directory.