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
