What do you think? Seems clear to me, but I forwarded the message to Jerome (Laurens). As the synctex author, he's the one who should be in the loop :). I will report back if he replies to me. Thanks, karl