new lua.org

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

We are going to move lua.org to a new host, courtesy of Marc Balmer.
This is happening in the next few days. It may take a little time
until the new DNS information is updated everywhere.
In the meantime, there is a mirror at PUC-Rio:
https://www.tecgraf.puc-rio.br/lua/mirror/
--lhf