I think that’s a pretty sharp observation. Analogous to something like node_modules in web dev, for example. The files could be gitignored and then generated

I think that’s a pretty sharp observation. Analogous to something like node_modules in web dev, for example. The files could be gitignored and then generated both on local machines but also on the CI/build system.