Update lua-syntax.html