Re: [Dev-luatex] Problem with directlua and synctex_tag