These files are generated from KiCad source.  They are provided for
convenience but may not be as up to date as the KiCad source files.