Do not manually edit any file in this folder. They have been autogenerated
by a script.
