Re: [Dev-luatex] Synctex bug