Those are all "our" files, but we forgot to add the headers, most likely because of non-standard file extensions.