These files were created manually from the converted PCB using the menu option File -> Archive Footprints -> Create New Library and Archive Footprints in the KiCAD PCB editor.