Given that the generated file needs a manual adjustment, its small size, and the dependencies involved, it will be checked in to the repository.
Přemysl Eric Janouch