I'm concerned that it isn't clear this is a machine-generated file, and that people may be tempted to modify it. Too bad you can't put comments in json files...

I don't know if there is anything we can do about it other than make it clear in our developer documentation. Any ideas?