lua.org now accepts https connections.