Process question - should we also regenerate the files every time when synth.py is updated, and commit those changes, too?

@plamut Generally yes, but I think in this case the dependency was already in noxfile.py.

That's true, its not strictly necessary to manually regenerate now, can wait until the next autosynth.