Read this!

These files are not meant to be edited by hand. If you need to make modifications, the respective files should be changed within the repository's top-level src directory and jake LKG flushes the changes here.