While the whole process of extraction fairly easy, may the act of trying to find the zip files that isn't. Indeed how to zip files is not complicated process to . R4DS-Forums generally seems to have a workaround in case you're experiencing hassles. https://7Zip.site/