All files in this subdirectory tree are generated automatically and are not
subject to copyright, unless the file header says something different.
