Files in this directory are generated from various other sources, and should not be edited directly.