I originally did the generation at server startup time, but then it didn't get regenerated if the file was saved. I supposed we could generate at server start time _and_ when the file is saved.