> Hello, just a quick one. The lua-all.tar.gz file is not actually > gzipped it's just a tarball. For reference that is the file at > https://www.lua.org/ftp/lua-all.tar.gz It's fixed now. Thanks for the report.