I had a look at that repo but it was very involved. In the end it turned out they're all zip files with the PK signature changed to DH, but the "unzip" utility allowed me to extract them even with the obfuscated signature. Once I had the squashfs files, it turns out 7zip is able to decompress...