I get .blend files instead of .obj files after unzipping toys4k_obj_files.zip

[denisshaf]

I downloaded toys4k_obj_files.zip (not toys4k_blend_files.zip) via wget and runned unzip, but the resulting files have .blend extension instead of .obj.