> isn't there a benefit to procedural on-demand generation for stuff like this?

Like how demoscenes do it? I would think a huge trade off is the performance hit (and potential delay / popin) of the generation