Hi Adrian,
> On 21. May, 2020, at 01:03, Adrian Klaver <adrian(dot)klaver(at)aklaver(dot)com> wrote:
>
> Yeah, the issue would be getting a version of gunzip that works on Windows. In the past I have had luck with:
>
> https://www.7-zip.org/
>
> Not sure how well it works with redirects/pipes.
I'm no windoze guru, so I don't know about that, but you may have a look at:
http://gnuwin32.sourceforge.net/packages/gzip.htm
Cheers,
Paul