These are just to stop the spurious CI failures at head.
The right solution is to go back and have everything build uniformly with bzlmod or without it.

• Get experimental git toolchain working enough with bzlmod so we can use it. But yeech. It really needs a bzlmod conversion. I would rather someone else build it.
• Do not run the doc_build with bzlmod. It is impossible to have the sources work for both bzlmod and non_bzlmod because the module name changed. Or maybe it is, but I don't want to solve that right now.