Lua.org downtime

[Luiz Henrique de Figueiredo <lhf@...>]

Pepperfish is moving their servers later today and Lua.org will probably
be down for a short while. If you cannot reach lua.org, try the mirror site:
	http://www.tecgraf.puc-rio.br/lua/mirror/

We're sorry for the inconvenience.
--lhf