It seems that the Lua site is down. There is a mirror at http://www.tecgraf.puc-rio.br/lua/mirror/ (But I think that this message will not be posted before lua.org comes back.)
