I’ve been struggling with this! But I’ve now figured out how to do it: install/open the “7-Zip File Manager” programme. In its console, you’ll see the two files; simply extract the first one, which will be extracted alongside the second file. That’s it – good luck!