These extensions are expected to be loaded by `WORKSPACE` files only.