when I do a pdf->source sync the selection is definitely offset from
where it should be. The same document using pdflatex gets the offset
correct. Is that the symptom a user would notice?
Sounds plausible to me, and also like what kanLoo said in his original
report. I can't say with total certainty, though.
k