lua.org seems to be down. The mirror at Tecgraf has been activated: http://www.tecgraf.puc-rio.br/lua/mirror/ lua-users.org is also down but there is no mirror. :-(
