FWIW: I've been simply using zcat for years without any issues:
If you are using Linux, Windows or MacOS you can also simply use the Raspberry Pi Imager - LibreELEC is available in the Mediacenter section.
Raspberry Pi OS – Raspberry Pi
From industries large and small, to the kitchen table tinkerer, to the classroom coder, we make computing accessible and affordable for everybody.
www.raspberrypi.com
so long,
Hias