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.
https://www.raspberrypi.com/software/
so long,
Hias
pi imager is a phantastic recommendation! I just installed it and it looks really nice. I'll definitely use this in the future