> it's possible that a small amount of downtime will ensue. Just in case, the mirror of lua.org has been activated at http://www.tecgraf.puc-rio.br/lua/mirror/
