Add lost files, which github failed to upload