These files are generated from code, but present here so that we can detect accidental changes.
