That does not mean its not procedurally generated, using the same seed will result in the same outcome, so people can visit the same planet, and same ‘lake’ on that planet. But the entire galaxy is still based on a seed and this seed is used to procedurally build everything you see